modified finv.s
print_char.s,read_char.s,read_int.ml