let inp = Str.split (Str.regexp " ") (read_line ());; let a = int_of_string (List.nth inp 0);; let b = int_of_string (List.nth inp 1);; let s = read_line () let n = string_of_int (a + b);; print_string (n ^ " " ^ s);;