For the record, I got the list of hex codes by opening the .8xp file in the
XVI32 hex editor. I looked for the tell-tale byte codes I know represent the untypeable tokens. The start 8xp program data is always somewhere between 0x40 and 0x50, and the last two bytes are always a checksum.