debug "failure int_of_string"