Printf.eprintf "top level module\n" let fork () = Printf.eprintf "about to fork\n"; Unix.fork () let () = Printf.eprintf "evaluating main\n"; match fork () with | 0 -> Printf.eprintf "in child\n" | _ -> Printf.eprintf "in parent\n" (* compile with * ocamlc -o [this_file] unix.cma [this_file].ml *)