-- | @Noise_X1K1:
--  <- s
--  ...
--  -> e
--  <- e, ee, es
--  -> s
--  <- se
noiseX1K1 :: HandshakePattern
noiseX1K1 = handshakePattern "X1K1" $
  preResponder s *>
  initiator e *>
  responder (e *> ee *> es) *>
  initiator s *>
  responder se
noiseX1K1 :: HandshakePattern
noiseX1K1 = handshakePattern "X1K1" $
  preResponder s *>
  initiator e *>
  responder (e *> ee *> es) *>
  initiator s *>
  responder se
noiseX1K1 = handshakePattern "X1K1" $
  preResponder s *>
  initiator e *>
  responder (e *> ee *> es) *>
  initiator s *>
  responder se