Copyright (C) 1994, Digital Equipment Corp.
MODULE Unetdb; IMPORT Ctypes; PROCEDURE VALID_SVC (a: Ctypes.int): BOOLEAN = BEGIN RETURN 0 < a AND a < NSVCS; END VALID_SVC; BEGIN END Unetdb.