let
soi = string_of_int