extern void ilock(Lock*); extern void iunlock(Lock*);