L4 Lock Reference Manual, written by Lars Reuther  © 2000-2003