KEEPEXEC
&nbsp;&nbsp;type&nbsp;file_perm&nbsp;=&nbsp;int
&nbsp;&nbsp;val&nbsp;openfile&nbsp;:
&nbsp;&nbsp;&nbsp;&nbsp;string&nbsp;-&gt;
&nbsp;&nbsp;&nbsp;&nbsp;mode:UnixLabels.open_flag&nbsp;list&nbsp;-&gt;
&nbsp;&nbsp;&nbsp;&nbsp;perm:UnixLabels.file_perm&nbsp;-&gt;&nbsp;UnixLabels.file_descr
&nbsp;&nbsp;val&nbsp;close&nbsp;:&nbsp;UnixLabels.file_descr&nbsp;-&gt;&nbsp;unit
&nbsp;&nbsp;val&nbsp;fsync&nbsp;:&nbsp;UnixLabels.file_descr&nbsp;-&gt;&nbsp;unit
&nbsp;&nbsp;val&nbsp;read&nbsp;:&nbsp;UnixLabels.file