(* XXX preconditions XXX *)
typedef int fileperm