Fix. Discard HELLO with sequence!=1.
Use named types to encode/decode