while_test_1(6) == 10
