no improvement...
another way of decoding

Hmm.. I can try a new encoding based on the new implementation. It will be
simpler a little bit, but not necessarily faster.