SAFE access to binary files

I'd like to pose this question

http://groups.google.de/groups?hl=de&lr=&ie=UTF-8&threadm=3dcbj7%24bt4%40hermes.unt.edu&rnum=1&prev=/groups%3Fq%3Dsafe%2Bbinary%2Bfiles%2Bgroup:comp.lang.modula3%26hl%3Dde%26lr%3D%26ie%3DUTF-8%26group%3Dcomp.lang.modula3%26selm%3D3dcbj7%2524bt4%2540hermes.unt.edu%26rnum%3D1
again:

Is there a module which allows for safe access to binary files, like audio
or graphic files? I think it should support such routines like 

 PutInt  (wr: File.T; val: INTEGER; byteOrder: Endian; size: CARDINAL; );
 PutReal (wr: File.T; real: REAL; byteOrder: Endian; );
 PutChar (wr: File.T; char: CHAR; );

and so on.