Scanf.sscanf (read_line ()) "%d %d" (fun a b ->
	print_int (a+b)
);;
print_string " "; print_string (read_line ()); print_string "\n";;