long extra_one(void) { return 19; }