OCaml backend: processes (not tested yet)