THSSZUVRSFRL4EIXPYKEIDQCB2NTF2BNKDO3VF2NRQO27CTVX6UAC
(de mike NIL (msg 'mike 'A A))(msg 'ok)(bye)
(de mike NIL
(msg 'mike 'A A)
)
(msg 'ok)
(bye)