int retval(void) {
  return 43;
}