if (n < 0x10) add8(0x80 | n);
                else if (n < 0x1_0000) add16id(0xde, n);
                else add32id(0xdf, n);