void cheese()
{
  return;
}

int main(int argc, char **argv[])
{
  void (*wank)();

  wank = 0xec000000;
//  wank = cheese;
  wank();

  return 0;
}