p4nbound16() return size less than p4nenc16()

[tanxn5]

Try to use p4nbound16() return size allocate output buffer. but I found it less than encode function.

uint16_t in[] = {
        0x5dc0, 0x419a, 0xf078, 0x419a, 0xb70e, 0x419b, 0x9e70, 0x419c, 0x9388, 0x419d, 0x84c2, 0x419e, 0x6660, 0x419f, 0x2e10, 0x41a0, 0xd196, 0x41a0, 0x499c, 0x41a1,
        0x9adc, 0x41a1, 0xccf8, 0x41a1, 0xe7aa, 0x41a1, 0xeffc, 0x41a1, 0xe082, 0x41a1, 0xb12c, 0x41a1, 0x59e8, 0x41a1, 0xd7c8, 0x41a0, 0x3c50, 0x41a0, 0x9e1c, 0x419f,
        0x13c6, 0x419f, 0xb062, 0x419e, 0x7894, 0x419e, 0x6d84, 0x419e, 0x9050, 0x419e, 0xdc54, 0x419e, 0x360e, 0x419f, 0x7c30, 0x419f, 0x8d74, 0x419f, 0x5484, 0x419f,
        0xebd0, 0x419e, 0x79ba, 0x419e, 0x24a0, 0x419e, 0x09e4, 0x419e, 0x22cc, 0x419e, 0x5fa8, 0x419e, 0xb0ba, 0x419e, 0x075a, 0x419f, 0x58c6, 0x419f, 0x9b4e, 0x419f,
        0xc54e, 0x419f, 0xd0e2, 0x419f, 0xc7aa, 0x419f, 0xb710, 0x419f, 0xac96, 0x419f, 0xb23c, 0x419f, 0xc4ba, 0x419f, 0xdd50, 0x419f, 0xf54a, 0x419f, 0x0890, 0x41a0,
        0x1d62, 0x41a0, 0x3cb8, 0x41a0, 0x6f66, 0x41a0, 0xb9c4, 0x41a0, 0x0dac, 0x41a1, 0x5868, 0x41a1, 0x873a, 0x41a1, 0x8c0c, 0x41a1, 0x6b40, 0x41a1, 0x2dd8, 0x41a1,
        0xdcd8, 0x41a0, 0x8174, 0x41a0, 0x25ca, 0x41a0, 0xd41a, 0x419f, 0x96aa, 0x419f, 0x7596, 0x419f, 0x7038, 0x419f, 0x83bc, 0x419f, 0xad4c, 0x419f, 0xe892, 0x419f,
        0x2b20, 0x41a0, 0x690c, 0x41a0, 0x966a, 0x41a0, 0xa9b8, 0x41a0, 0xa352, 0x41a0, 0x8604, 0x41a0, 0x548c, 0x41a0, 0x123c, 0x41a0, 0xc482, 0x419f, 0x7140, 0x419f,
        0x1e68, 0x419f, 0xd2dc, 0x419e, 0x9956, 0x419e, 0x7d80, 0x419e, 0x8b0c, 0x419e, 0xc92c, 0x419e, 0x2d28, 0x419f, 0xa7c2, 0x419f, 0x29c4, 0x41a0, 0xa420, 0x41a0,
        0x087a, 0x41a1, 0x4898, 0x41a1, 0x5646, 0x41a1, 0x2890, 0x41a1, 0xcb9a, 0x41a0, 0x50ca, 0x41a0, 0xc97a, 0x419f, 0x45a0, 0x419f, 0xcf4a, 0x419e, 0x6f20, 0x419e,
        0x2dbc, 0x419e, 0x125a, 0x419e, 0x1ea8, 0x419e, 0x52f4, 0x419e, 0xaf8c, 0x419e, 0x30fc, 0x419f, 0xc4c2, 0x419f, 0x54a4, 0x41a0, 0xca5c, 0x41a0, 0x144c, 0x41a1,
        0x3354, 0x41a1, 0x2cf4, 0x41a1, 0x06b2, 0x41a1, 0xc72a, 0x41a0, 0x7970, 0x41a0, 0x29c0, 0x41a0, 0xe448, 0x419f, 0xb1fa, 0x419f, 0x8ea4, 0x419f, 0x72c8, 0x419f,
        0x56ee, 0x419f, 0x374e, 0x419f, 0x1ede, 0x419f, 0x1c4c, 0x419f, 0x3e32, 0x419f, 0x8db8, 0x419f, 0xfdbc, 0x419f, 0x7b9a, 0x41a0, 0xf4a6, 0x41a0, 0x57c6, 0x41a1,
        0x9a2e, 0x41a1, 0xb292, 0x41a1, 0x97b4, 0x41a1, 0x4570, 0x41a1, 0xcc48, 0x41a0, 0x41d4, 0x41a0, 0xbbc0, 0x419f, 0x4d7c, 0x419f, 0x01ee, 0x419f, 0xe1b8, 0x419e,
        0xf59a, 0x419e, 0x4166, 0x419f, 0xb5a4, 0x419f, 0x3dee, 0x41a0, 0xc5f6, 0x41a0, 0x3ab6, 0x41a1, 0x8e7a, 0x41a1, 0xb4e6, 0x41a1, 0xa196, 0x41a1, 0x4e3a, 0x41a1,
        0xcc7a, 0x41a0, 0x341e, 0x41a0, 0x9cce, 0x419f, 0x1bb4, 0x419f, 0xbb9e, 0x419e, 0x84b6, 0x419e, 0x7f3c, 0x419e, 0xae6a, 0x419e, 0x01ca, 0x419f, 0x63e6, 0x419f,
        0xbf54, 0x419f, 0x01b6, 0x41a0, 0x24e8, 0x41a0, 0x25dc, 0x41a0, 0x017a, 0x41a0, 0xb7ce, 0x419f, 0x551e, 0x419f, 0xe8d0, 0x419e, 0x8248, 0x419e, 0x2ec4, 0x419e,
        0xf30a, 0x419d, 0xd1b6, 0x419d, 0xcd68, 0x419d, 0xe86e, 0x419d, 0x23b8, 0x419e, 0x7fea, 0x419e, 0xfdaa, 0x419e, 0x9886, 0x419f, 0x37ec, 0x41a0, 0xbe42, 0x41a0,
        0x0ddc, 0x41a1, 0x12be, 0x41a1, 0xdf3a, 0x41a0, 0x8f44, 0x41a0, 0x3ed6, 0x41a0, 0x05a6, 0x41a0, 0xeabe, 0x419f, 0xf0ee, 0x419f, 0x1b08, 0x41a0, 0x64fa, 0x41a0,
        0xaefc, 0x41a0, 0xd272, 0x41a0, 0xa8ae, 0x41a0, 0x1b82, 0x41a0, 0x56ac, 0x419f, 0x966e, 0x419e, 0x16f8, 0x419e, 0x052c, 0x419e, 0x5064, 0x419e, 0xd8a4, 0x419e,
        0x7df2, 0x419f, 0x2192, 0x41a0, 0xa9f8, 0x41a0, 0xfed6, 0x41a0, 0x07e4, 0x41a1, 0xb876, 0x41a0, 0x3284, 0x41a0, 0xa398, 0x419f, 0x3946, 0x419f, 0x1516, 0x419f,
        0x287c, 0x419f, 0x58dc, 0x419f, 0x8ba0, 0x419f, 0xab28, 0x419f, 0xb57c, 0x419f, 0xad9c, 0x419f, 0x9694, 0x419f, 0x74d8, 0x419f, 0x52da, 0x419f, 0x3c8a, 0x419f,
        0x3dd0, 0x419f, 0x5d8e, 0x419f, 0x8e6c, 0x419f, 0xbe0a, 0x419f, 0xda06, 0x419f, 0xd60c, 0x419f, 0xbe44, 0x419f, 0xa4d4, 0x419f, 0x9bf2, 0x419f, 0xb28c, 0x419f,
        0xea6c, 0x419f, 0x4228, 0x41a0, 0xb842, 0x41a0, 0x4604, 0x41a1, 0xcf78, 0x41a1, 0x3368, 0x41a2, 0x5094, 0x41a2, 0x1162, 0x41a2, 0x8eb8, 0x41a1, 0xed1c, 0x41a0,
        0x5114, 0x41a0, 0xda46, 0x419f, 0x94ce, 0x419f, 0x87f0, 0x419f, 0xbaf0, 0x419f, 0x2d8a, 0x41a0, 0xc196, 0x41a0, 0x5170, 0x41a1, 0xb76c, 0x41a1, 0xd66a, 0x41a1,
        0xb378, 0x41a1, 0x5c26, 0x41a1, 0xde12, 0x41a0, 0x4804, 0x41a0, 0xadc4, 0x419f, 0x244e, 0x419f, 0xc0ac, 0x419e, 0x92d6, 0x419e, 0x96d0, 0x419e, 0xc39a, 0x419e,
        0x102a, 0x419f, 0x72cc, 0x419f, 0xde78, 0x419f, 0x4586, 0x41a0, 0x9a32, 0x41a0, 0xd0e0, 0x41a0, 0xe65e, 0x41a0, 0xd98e, 0x41a0, 0xa952, 0x41a0, 0x569e, 0x41a0,
        0xea7a, 0x419f, 0x6ff4, 0x419f, 0xf224, 0x419e, 0x7ce0, 0x419e, 0x1f00, 0x419e, 0xe824, 0x419d, 0xe7ea, 0x419d, 0x2706, 0x419e, 0x927c, 0x419e, 0x106a, 0x419f,
        0x86ea, 0x419f, 0xe06a, 0x419f, 0x18aa, 0x41a0, 0x2fc8, 0x41a0, 0x25c8, 0x41a0, 0xfe62, 0x419f, 0xcbb6, 0x419f, 0xa37a, 0x419f, 0x9b66, 0x419f, 0xc17c, 0x419f,
        0x04e6, 0x41a0, 0x4d00, 0x41a0, 0x8140, 0x41a0, 0x8e60, 0x41a0, 0x764c, 0x41a0, 0x405c, 0x41a0, 0xf3cc, 0x419f, 0x9ae2, 0x419f, 0x4bc8, 0x419f, 0x1fa4, 0x419f,
        0x2f8e, 0x419f, 0x8b18, 0x419f, 0x1b6c, 0x41a0, 0xc028, 0x41a0, 0x58dc, 0x41a1, 0xca0c, 0x41a1, 0x0bea, 0x41a2, 0x1b94, 0x41a2, 0xf628, 0x41a1, 0x9e3a, 0x41a1,
        0x2c4c, 0x41a1, 0xbe50, 0x41a0, 0x7238, 0x41a0, 0x5d70, 0x41a0, 0x732c, 0x41a0, 0x9e08, 0x41a0, 0xc8a8, 0x41a0, 0xe0f6, 0x41a0, 0xe1dc, 0x41a0, 0xc996, 0x41a0,
        0x964c, 0x41a0, 0x4960, 0x41a0, 0xf0d6, 0x419f, 0x9de0, 0x419f, 0x61a6, 0x419f, 0x4880, 0x419f, 0x4b88, 0x419f, 0x5eec, 0x419f, 0x76ee, 0x419f, 0x8ad4, 0x419f,
        0x9e12, 0x419f, 0xb738, 0x419f, 0xdcc4, 0x419f, 0x1308, 0x41a0, 0x5594, 0x41a0, 0x9db4, 0x41a0, 0xe4be, 0x41a0, 0x230a, 0x41a1, 0x4cf8, 0x41a1, 0x55fa, 0x41a1,
        0x3178, 0x41a1, 0xd980, 0x41a0, 0x62bc, 0x41a0, 0xe87a, 0x419f, 0x860e, 0x419f, 0x50ce, 0x419f, 0x465a, 0x419f, 0x5e50, 0x419f, 0x9058, 0x419f, 0xd25c, 0x419f,
        0x135a, 0x41a0, 0x408c, 0x41a0, 0x473c, 0x41a0, 0x1bc4, 0x41a0, 0xcf04, 0x419f, 0x78fe, 0x419f, 0x31a4, 0x419f, 0x0ba8, 0x419f, 0x0474, 0x419f, 0x140c, 0x419f,
        0x329c, 0x419f, 0x579a, 0x419f, 0x782e, 0x419f, 0x88f2, 0x419f, 0x7e74, 0x419f, 0x5310, 0x419f, 0x1820, 0x419f, 0xe4c6, 0x419e, 0xd016, 0x419e, 0xeb78, 0x419e,
        0x313c, 0x419f, 0x95f6, 0x419f, 0x0e38, 0x41a0, 0x8dde, 0x41a0, 0x05dc, 0x41a1, 0x6666, 0x41a1, 0x9fb2, 0x41a1, 0xa734, 0x41a1, 0x8714, 0x41a1, 0x4ec2, 0x41a1,
        0x0da2, 0x41a1, 0xd0f0, 0x41a0, 0x9d26, 0x41a0, 0x7488, 0x41a0, 0x5976, 0x41a0, 0x4c6a, 0x41a0, 0x4704, 0x41a0, 0x4112, 0x41a0, 0x326c, 0x41a0, 0x163e, 0x41a0,
        0xf538, 0x419f, 0xdb6c, 0x419f, 0xd4e4, 0x419f, 0xe9e4, 0x419f, 0x1398, 0x41a0, 0x477c, 0x41a0, 0x7aee, 0x41a0, 0xa47c, 0x41a0, 0xbf18, 0x41a0, 0xc6de, 0x41a0,
        0xb7e4, 0x41a0, 0x915a, 0x41a0, 0x5eea, 0x41a0, 0x2f64, 0x41a0, 0x1190, 0x41a0, 0x101a, 0x41a0, 0x253a, 0x41a0, 0x4708, 0x41a0, 0x6b9c, 0x41a0, 0x89c4, 0x41a0,
        0x9b48, 0x41a0, 0x9aa2, 0x41a0, 0x8244, 0x41a0, 0x5080, 0x41a0, 0x12f0, 0x41a0, 0xdaea, 0x419f, 0xb9e8, 0x419f, 0xbd14, 0x419f, 0xe112, 0x419f, 0x1e3e, 0x41a0,
        0x6d0a, 0x41a0, 0xc436, 0x41a0, 0x13ea, 0x41a1, 0x4a9e, 0x41a1, 0x56cc, 0x41a1, 0x2cde, 0x41a1, 0xd8e8, 0x41a0, 0x6cea, 0x41a0, 0xfae4, 0x419f, 0x9328, 0x419f,
        0x3f12, 0x419f, 0x064e, 0x419f, 0xf08a, 0x419e, 0x0260, 0x419f, 0x3406, 0x419f, 0x7aa4, 0x419f, 0xcb6c, 0x419f, 0x1c2c, 0x41a0, 0x6576, 0x41a0, 0xa088, 0x41a0,
        0xc69e, 0x41a0, 0xd304, 0x41a0, 0xc942, 0x41a0, 0xaf02, 0x41a0, 0x89d4, 0x41a0, 0x5f94, 0x41a0, 0x370e, 0x41a0, 0x173a, 0x41a0, 0x071a, 0x41a0, 0x0b42, 0x41a0,
        0x1e62, 0x41a0, 0x38ae, 0x41a0, 0x5270, 0x41a0, 0x6450, 0x41a0, 0x68ca, 0x41a0, 0x5ac8, 0x41a0, 0x3538, 0x41a0, 0xf668, 0x419f, 0xa9fc, 0x419f, 0x5f08, 0x419f,
        0x249c, 0x419f, 0x06da, 0x419f, 0x065e, 0x419f, 0x20d0, 0x419f, 0x53e8, 0x419f, 0x9b96, 0x419f, 0xecf6, 0x419f, 0x3b60, 0x41a0, 0x7a2a, 0x41a0, 0x9fec, 0x41a0,
        0xb042, 0x41a0, 0xb204, 0x41a0, 0xac00, 0x41a0, 0xa3d8, 0x41a0, 0x9a38, 0x41a0, 0x8ea2, 0x41a0, 0x8084, 0x41a0, 0x6f4a, 0x41a0, 0x59ee, 0x41a0, 0x3f56, 0x41a0,
        0x1e6c, 0x41a0, 0xf536, 0x419f, 0xbe5c, 0x419f, 0x73b6, 0x419f, 0x0f08, 0x419f, 0x8fba, 0x419e, 0x0ba0, 0x419e, 0x9e1e, 0x419d, 0x62a4, 0x419d, 0x6df0, 0x419d,
        0xba10, 0x419d, 0x3a76, 0x419e, 0xe284, 0x419e, 0xa2bc, 0x419f, 0x5ff2, 0x41a0, 0xfc0c, 0x41a0, 0x58fe, 0x41a1, 0x619e, 0x41a1, 0x24ac, 0x41a1, 0xb9ec, 0x41a0,
        0x390c, 0x41a0, 0xb6c4, 0x419f, 0x3b8a, 0x419f, 0xccca, 0x419e, 0x7002, 0x419e, 0x29ac, 0x419e, 0xfa8e, 0x419d, 0xe28c, 0x419d, 0xe184, 0x419d, 0xf5e2, 0x419d,
        0x187c, 0x419e, 0x40b8, 0x419e, 0x65fa, 0x419e, 0x8234, 0x419e, 0x9986, 0x419e, 0xb28a, 0x419e, 0xd3e6, 0x419e, 0x0260, 0x419f, 0x3b40, 0x419f, 0x79fe, 0x419f,
        0xba04, 0x419f, 0xf6ba, 0x419f, 0x2b76, 0x41a0, 0x537e, 0x41a0, 0x6a26, 0x41a0, 0x6cfa, 0x41a0, 0x6274, 0x41a0, 0x535c, 0x41a0, 0x4874, 0x41a0, 0x476a, 0x41a0,
        0x49be, 0x41a0, 0x45e6, 0x41a0, 0x3252, 0x41a0, 0x08e2, 0x41a0, 0xd152, 0x419f, 0x96c0, 0x419f, 0x6452, 0x419f, 0x44a2, 0x419f, 0x4018, 0x419f, 0x5e8c, 0x419f,
        0xa7d2, 0x419f, 0x1e44, 0x41a0, 0xadf6, 0x41a0, 0x3d6a, 0x41a1, 0xb338, 0x41a1, 0xf9da, 0x41a1, 0x0bc6, 0x41a2, 0xe760, 0x41a1, 0x8b14, 0x41a1, 0xfabe, 0x41a0,
        0x5020, 0x41a0, 0xaa72, 0x419f, 0x28e2, 0x419f, 0xe194, 0x419e, 0xc620, 0x419e, 0xbef8, 0x419e, 0xb4a4, 0x419e, 0x9514, 0x419e, 0x643e, 0x419e, 0x2b92, 0x419e,
        0xf47c, 0x419d, 0xc8b0, 0x419d, 0xb2ce, 0x419d, 0xbdcc, 0x419d, 0xf490, 0x419d, 0x5b74, 0x419e, 0xdcbe, 0x419e, 0x5c1a, 0x419f, 0xbd3c, 0x419f, 0xea42, 0x419f,
        0xe6e2, 0x419f, 0xbd48, 0x419f, 0x778c, 0x419f, 0x21aa, 0x419f, 0xced6, 0x419e, 0x941e, 0x419e, 0x868c, 0x419e, 0xb340, 0x419e, 0x07b6, 0x419f, 0x6982, 0x419f,
        0xbe32, 0x419f, 0xf108, 0x419f, 0x03f2, 0x41a0, 0xfe94, 0x419f, 0xe88c, 0x419f, 0xc8f6, 0x419f, 0xa510, 0x419f, 0x8190, 0x419f, 0x6336, 0x419f, 0x4a82, 0x419f,
        0x2718, 0x419f, 0xe45c, 0x419e, 0x6dbc, 0x419e, 0xbc48, 0x419d, 0xffc2, 0x419c, 0x759a, 0x419c, 0x5b48, 0x419c, 0xdf60, 0x419c, 0xf56c, 0x419d, 0x821e, 0x419f,
        0x6a20, 0x41a1, 0x83d2, 0x41a3, 0x6c26, 0x41a5, 0xb1c4, 0x41a6, 0xe344, 0x41a6, 0xb7c0, 0x41a5, 0x883a, 0x41a3, 0xd62a, 0x41a0, 0x2308, 0x419e, 0xe1d8, 0x419b,
        0x4bbc, 0x419a, 0x8b66, 0x4199, 0xcb82, 0x4199, 0x1f50, 0x419b, 0x3c34, 0x419d, 0xc01e, 0x419f, 0x4904, 0x41a2, 0x763c, 0x41a4, 0xec8e, 0x41a5, 0x522c, 0x41a6,
        0x4d3c, 0x41a5, 0xb3ee, 0x41a2, 0x1c7e, 0x419f, 0x4d2c, 0x419b, 0x0c38, 0x4198, 0x04f2, 0x4196, 0x76ea, 0x4195, 0x86c0, 0x4196, 0x5914, 0x4199, 0xd75c, 0x419d,
        0xfe64, 0x41a2, 0x8fca, 0x41a7, 0x4d30, 0x41aa, 0x503c, 0x41aa, 0x12b8, 0x41a8, 0x667e, 0x41a4, 0x1d56, 0x41a0, 0xff8e, 0x419b, 0xaf42, 0x4198, 0xc500, 0x4196,
        0xd95a, 0x4196, 0x3d48, 0x4199, 0x2356, 0x419d, 0x7678, 0x41a1, 0x219e, 0x41a5, 0x46f4, 0x41a7, 0xe594, 0x41a7, 0x33b4, 0x41a7, 0x67b4, 0x41a5, 0xcb18, 0x41a2,
        0xf4c0, 0x419f, 0x8ece, 0x419d, 0x436e, 0x419c, 0x84d8, 0x419c, 0xe57e, 0x419d, 0xbff4, 0x419f, 0x6ec4, 0x41a1, 0x6aa2, 0x41a2, 0xa4ee, 0x41a2, 0x2d3e, 0x41a2,
        0x1314, 0x41a1, 0x7888, 0x419f, 0xc9c4, 0x419d, 0x8578, 0x419c, 0x2a54, 0x419c, 0x0ba6, 0x419d, 0xcf3a, 0x419e, 0xef7e, 0x41a0, 0xe6d8, 0x41a2, 0x43f4, 0x41a4,
        0xe686, 0x41a4, 0xc27e, 0x41a4, 0xcbd2, 0x41a3, 0x0f96, 0x41a2, 0xff3e, 0x419f, 0x2562, 0x419e, 0x0ca0, 0x419d, 0x1576, 0x419d, 0xf822, 0x419d, 0x42c0, 0x419f,
        0x8382, 0x41a0, 0x5aa2, 0x41a1, 0xb0d4, 0x41a1, 0x80e4, 0x41a1, 0xc5a2, 0x41a0, 0x8b7c, 0x419f, 0x2566, 0x419e, 0xf7f8, 0x419c, 0x67c8, 0x419c, 0xba9e, 0x419c,
        0xbb20, 0x419d, 0x1534, 0x419f, 0x74aa, 0x41a0, 0x8fca, 0x41a1, 0x4622, 0x41a2, 0x81ac, 0x41a2, 0x2c5c, 0x41a2, 0x419e, 0x41a1, 0x02ce, 0x41a0, 0xc2d6, 0x419e,
        0xd482, 0x419d, 0x7642, 0x419d, 0x9478, 0x419d, 0x0720, 0x419e, 0xa632, 0x419e, 0x4d44, 0x419f, 0xe690, 0x419f, 0x5ffe, 0x41a0, 0xa768, 0x41a0, 0xb006, 0x41a0,
        0x8244, 0x41a0, 0x2bea, 0x41a0, 0xbabe, 0x419f, 0x3d6e, 0x419f, 0xc69e, 0x419e, 0x69de, 0x419e, 0x3abc, 0x419e, 0x46f4, 0x419e, 0x8508, 0x419e, 0xe59e, 0x419e,
        0x595e, 0x419f, 0xd076, 0x419f, 0x3930, 0x41a0, 0x815c, 0x41a0, 0x96c2, 0x41a0, 0x6f8c, 0x41a0, 0x2320, 0x41a0, 0xd144, 0x419f, 0x99b4, 0x419f, 0x932c, 0x419f,
        0xb04c, 0x419f, 0xdaaa, 0x419f, 0xfbe8, 0x419f, 0x03cc, 0x41a0, 0xfb10, 0x419f, 0xf0a8, 0x419f, 0xf382, 0x419f, 0x0dde, 0x41a0, 0x371a, 0x41a0, 0x61f6, 0x41a0,
        0x8114, 0x41a0, 0x8ac6, 0x41a0, 0x837a, 0x41a0, 0x7348, 0x41a0, 0x622a, 0x41a0, 0x57ae, 0x41a0, 0x5934, 0x41a0, 0x6b94, 0x41a0, 0x93ae, 0x41a0, 0xd16c, 0x41a0,
        0x10ec, 0x41a1, 0x395c, 0x41a1, 0x31ec, 0x41a1, 0xebc0, 0x41a0, 0x7fcc, 0x41a0, 0x110a, 0x41a0, 0xc252, 0x419f, 0xac84, 0x419f, 0xc000, 0x419f, 0xe31c, 0x419f,
        0xfc18, 0x419f, 0xf77c, 0x419f, 0xda88, 0x419f, 0xb0bc, 0x419f, 0x858e, 0x419f, 0x64fc, 0x419f, 0x5d02, 0x419f, 0x7c20, 0x419f, 0xd0cc, 0x419f, 0x5d60, 0x41a0,
        0xf384, 0x41a0, 0x58a6, 0x41a1, 0x5254, 0x41a1, 0xc718, 0x41a0, 0x222c, 0x41a0, 0xefda, 0x419f, 0xbc7a, 0x41a0, 0xc310, 0x41a2, 0xf9b6, 0x41a4, 0x053a, 0x41a6,
        0x8a64, 0x41a4, 0x27f4, 0x41a0, 0x6458, 0x419c, 0xbfe0, 0x419d, 0xbaee, 0x41a8, 0xf1c2, 0x41c0, 0x7072, 0x41e6, 0x2f7e, 0x420c, 0xf2af, 0x422a, 0xaa0e, 0x424e,
        0xcee6, 0x4274, 0x375c, 0x428d, 0x4b86, 0x429e, 0x67ea, 0x42ac, 0x4564, 0x42b7, 0xd9fb, 0x42be, 0x1bbf, 0x42c3, 0x3202, 0x42c4, 0x0917, 0x42c3, 0xbea0, 0x42c0,
        0x7038, 0x42be, 0xffc7, 0x42bc, 0x6062, 0x42bc, 0x496c, 0x42bc, 0x724d, 0x42bc, 0x9e6e, 0x42bc, 0xc164, 0x42bc, 0xdaca, 0x42bc, 0xea41, 0x42bc, 0xef63, 0x42bc,
        0xe9c2, 0x42bc, 0xd8f0, 0x42bc, 0xbc7c, 0x42bc, 0x9581, 0x42bc, 0x6b3e, 0x42bc, 0x4680, 0x42bc, 0x300d, 0x42bc, 0x2e9e, 0x42bc, 0x409e, 0x42bc, 0x6266, 0x42bc,
        0x904e, 0x42bc, 0xc5ca, 0x42bc, 0xfab6, 0x42bc, 0x2608, 0x42bd, 0x3eb6, 0x42bd, 0x3e6b, 0x42bd, 0x29ac, 0x42bd, 0x07b2, 0x42bd, 0xdfb5, 0x42bc, 0xb88f, 0x42bc,
        0x979a, 0x42bc, 0x81d0, 0x42bc, 0x7c2e, 0x42bc, 0x896c, 0x42bc, 0xa341, 0x42bc, 0xc125, 0x42bc, 0xda8d, 0x42bc, 0xe8d4, 0x42bc, 0xece7, 0x42bc, 0xe993, 0x42bc,
        0xe1aa, 0x42bc, 0xd7aa, 0x42bc, 0xccd6, 0x42bc, 0xc21f, 0x42bc, 0xb877, 0x42bc, 0xb0e7, 0x42bc, 0xacd7, 0x42bc, 0xadc8, 0x42bc, 0xb538, 0x42bc, 0xc466, 0x42bc,
        0xdb93, 0x42bc, 0xfabc, 0x42bc, 0x21df, 0x42bd, 0x4fe7, 0x42bd, 0x7f66, 0x42bd, 0xa9db, 0x42bd, 0xc8c3, 0x42bd, 0xd6e3, 0x42bd, 0xd422, 0x42bd, 0xc1aa, 0x42bd,
        0xa0aa, 0x42bd, 0x7356, 0x42bd, 0x4008, 0x42bd, 0x0e22, 0x42bd, 0xe508, 0x42bc, 0xcafb, 0x42bc, 0xc1b5, 0x42bc, 0xc9cd, 0x42bc, 0xe3d8, 0x42bc, 0x0ebb, 0x42bd,
        0x427f, 0x42bd, 0x757c, 0x42bd, 0x9e06, 0x42bd, 0xb49c, 0x42bd, 0xba67, 0x42bd, 0xb2b7, 0x42bd, 0xa0db, 0x42bd, 0x8847, 0x42bd, 0x6cfb, 0x42bd, 0x530e, 0x42bd,
        0x3ea6, 0x42bd, 0x330a, 0x42bd, 0x302f, 0x42bd, 0x3531, 0x42bd, 0x412f, 0x42bd, 0x5309, 0x42bd, 0x68a6, 0x42bd, 0x7fae, 0x42bd, 0x95ce, 0x42bd, 0xa924, 0x42bd,
        0xb9bc, 0x42bd, 0xc815, 0x42bd, 0xd4b5, 0x42bd, 0xdfc8, 0x42bd, 0xe825, 0x42bd, 0xec55, 0x42bd, 0xeade, 0x42bd, 0xe2f2, 0x42bd, 0xd67c, 0x42bd, 0xc817, 0x42bd,
        0xba5a, 0x42bd, 0xaf97, 0x42bd, 0xa906, 0x42bd, 0xa794, 0x42bd, 0xac2c, 0x42bd, 0xb6c5, 0x42bd, 0xc370, 0x42bd, 0xcd48, 0x42bd, 0xcf67, 0x42bd, 0xc688, 0x42bd,
        0xb608, 0x42bd, 0xa2e9, 0x42bd, 0x9228, 0x42bd, 0x8784, 0x42bd, 0x819f, 0x42bd, 0x7de2, 0x42bd, 0x79ac, 0x42bd, 0x7309, 0x42bd, 0x6ab0, 0x42bd, 0x61fc, 0x42bd,
        0x5a4f, 0x42bd, 0x54e7, 0x42bd, 0x5298, 0x42bd, 0x5419, 0x42bd, 0x5a20, 0x42bd, 0x64e6, 0x42bd, 0x72b8, 0x42bd, 0x8167, 0x42bd, 0x8ec2, 0x42bd, 0x9940, 0x42bd,
        0xa1f5, 0x42bd, 0xaa96, 0x42bd, 0xb4de, 0x42bd, 0xc190, 0x42bd, 0xcda6, 0x42bd, 0xd523, 0x42bd, 0xd40c, 0x42bd, 0xc775, 0x42bd, 0xb0b4, 0x42bd, 0x922f, 0x42bd,
        0x6e4e, 0x42bd, 0x4792, 0x42bd, 0x20fa, 0x42bd, 0xfda4, 0x42bc, 0xe0b0, 0x42bc, 0xcccb, 0x42bc, 0xc304, 0x42bc, 0xc3f8, 0x42bc, 0xd043, 0x42bc, 0xe79d, 0x42bc,
        0x0600, 0x42bd, 0x267b, 0x42bd, 0x4420, 0x42bd, 0x5aa9, 0x42bd, 0x6885, 0x42bd, 0x6ccc, 0x42bd, 0x6694, 0x42bd, 0x5608, 0x42bd, 0x3f8b, 0x42bd, 0x288d, 0x42bd,
        0x1681, 0x42bd, 0x0d9f, 0x42bd, 0x0d29, 0x42bd, 0x1328, 0x42bd, 0x1da3, 0x42bd, 0x2a76, 0x42bd, 0x36cb, 0x42bd, 0x3f9d, 0x42bd, 0x41e8, 0x42bd, 0x3bb8, 0x42bd,
        0x2f49, 0x42bd, 0x1fec, 0x42bd, 0x10ee, 0x42bd, 0x0534, 0x42bd, 0xfe00, 0x42bc, 0xfc2a, 0x42bc, 0x008c, 0x42bd, 0x0b19, 0x42bd, 0x1823, 0x42bd, 0x231a, 0x42bd,
        0x276d, 0x42bd, 0x21fa, 0x42bd, 0x1577, 0x42bd, 0x060c, 0x42bd};
    int n = sizeof(in) / sizeof(uint16_t);
    int max_size = (int)p4nbound16(n);
    unsigned char *out = (unsigned char *)malloc(max_size);
    int size = (int)p4nenc16(in, n, out);
    printf("n=%d, max_size=%d, size=%d\n", n, max_size, size);
    assert(max_size >= size); // Assertion failed: (max_size >= size)

runtime output n=1968, max_size=3952, size=3954

Does code above incorrect? Thanks.