Some tests of base16 encoding/decoding