program: CARD ~ 100005;

programVersion: CARD ~ 1;

maxPathLen: CARDINAL ~ 1024;

maxNameLen: CARDINAL ~ 255;

fhSize: CARDINAL ~ 32;

Handle: TYPE ~ SunRPC.Handle;

Conversation: TYPE ~ SunRPCAuth.Conversation;

FHandle: TYPE ~ REF TEXT; -- opaque file handle [fhSize]

FHStatus: TYPE ~ RECORD [

Path: TYPE ~ REF TEXT; -- <= maxPathLen

Name: TYPE ~ REF TEXT; -- <= maxNameLen

null: CARD ~ 0;

NullProc: TYPE ~ PROC [h: Handle, c: Conversation];

mnt: CARD ~ 1;

MntProc: TYPE ~ PROC [h: Handle, c: Conversation, directory: Path]

dump: CARD ~ 2;

DumpProc: TYPE ~ PROC [h: Handle, c: Conversation, eachMount: EachMountProc];

EachMountProc: TYPE ~ PROC [hostName: -- ephemeral -- Name, directory: -- ephemeral -- Path] RETURNS [continue: BOOL ← TRUE];

umnt: CARD ~ 3;

UmntProc: TYPE ~ PROC [h: Handle, c: Conversation, directory: Path];

umntall: CARD ~ 4;

UmntallProc: TYPE ~ PROC [h: Handle, c: Conversation];

export: CARD ~ 5;

ExportProc: TYPE ~ PROC [h: Handle, c: Conversation, eachExport: EachExportProc, eachGroup: EachGroupProc];

EachExportProc: TYPE ~ PROC [fileSys: -- ephemeral -- Path]
RETURNS [continue: BOOL ← TRUE];

EachGroupProc: TYPE ~ PROC [group: -- ephemeral -- Name]
RETURNS [continue: BOOL ← TRUE];