r12413: do some testing with 0x1E names