DEFINITION MODULE errno ; CONST EINTR = 4 ; (* system call interrupted *) ERANGE = 34 ; (* result is too large *) EAGAIN = 11 ; (* retry the system call *) PROCEDURE geterrno () : INTEGER ; END errno.