#include <stdio.h>

class Vehicle {
public:
  Vehicle()
   { printf("This is the Vehicle constructor\n"); }
  Vehicle(int a)
   { printf("Initializing Vehicle to %d\n", a); }
};

class Car : public Vehicle {
public:
  Car()
    { printf("This is the Car constructor\n"); }
  Car(int a) 
    { printf("Initializing Car to %d\n", a); }
};

main()
{
  Car car(2);
}