let soi = string_of_int