loops changed in handshake.pml