extern "C" {
  typedef int start __attribute__ ((__mode__ (__HI__)));
}