#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) : Vehicle(a)
    { printf("Initializing Car to %d\n", a); }
};

main()
{
  Car car(2);
}