typedef void fntype(int);
  ((fntype*)0xf80)(42);