/*
 * extracted from
 * pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set_true-unreach-call.i
 */
int main() {

  return ({ int i = 0; i; });
}