Pvem_lwt_unix
Useful I/O functions.