int func(void) {
   return 42;
}