let p s = (fun () ->  print_endline s ; exit 0)