Scanf.scanf "%d %d\n%s" (fun a b s -> 
    print_int (a + b);
    Printf.printf " %s" s)