Added preliminary lamport_proc module.