void do_next(int i);
void half(int i);
void triple_add_one(int i);