module IO: sig .. end
sig
end
exception Invalid_file
module Reader: sig .. end
module Writer: sig .. end