while_test_1_Int(6) == 10
