Update lamport.c