IDL source Global index
enum lock_mode { read, write, upgrade, intention_read, intention_write };
exception LockNotHeld { };