get_int and more tests for get_string