Trace #547

An encoded Trace character, drawn on-chain from a 16-byte record. The record is real; the character it encodes is not necessarily the one you receive.