do_while_test_1(5) == 6
do_while_test_1(57) == 58
