int gen_once(void) { return 11; }