removed spurious try/with in get_int