>          WHEN A STORAGE OBJECT IS INITIALLY ASSIGNED, ALLOCATED,
> 	OR REALLOCATED TO A SUBJECT FROM THE TCB'S POOL OF
> 	UNUSED STORAGE OBJECTS, THE TCB SHALL ASSURE THAT THE OBJECT
> 	CONTAINS NO DATA FOR WHICH THE SUBJECT IS NOT AUTHORIZED.

But, does data written to an mmap()ped page beyojnd the end of a file
which the program can mmap() count as "DATA FOR WHICH THE SUBJECT IS
NOT AUTHORIZED"?  Presumably data written to locations within the file
does not, or mmap() would be useless.

/~\ The ASCII				der Mouse
\ / Ribbon Campaign
 X  Against HTML	       mouse@rodents.montreal.qc.ca
/ \ Email!	     7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B