37888 /* 128; 0x1280..0x12FF */