Create traditional-lamport.sh