https://ja.osdn.net/projects/happyabc/scm/git/happyabc/blobs/master/swflib/bytesOutTest.ml
(fun () ->
ok [0] [u30 0];
ok [0x7F] [u30 0x7F]);
"2byte" >::
(fun () ->
ok [0xFF;0x30] [u30 0x187F];
ok [0xFF;0x01] [u30 0xFF];
ok [0xFF;0x7F] [u30 0x3FFF]);
"3byte/15-21bit" >::
(fun () ->
ok [0xFF;0xFF;0x01] [u30 0x7FFF];
ok [0xFF;0xFF;0x7F] [u30 0x1F_FFFF]);
"4 byte/22-28bit" >::
(fun () ->
ok [0xFF;0xFF;0xFF;0x01] [u30 0x003F_FFFF];
ok [0xFF;0xFF;0xFF;0x7F] [u30 0x0FFF_FFFF]);
"5 byte/29-35bit" >::
(fun () ->
ok [0xFF;0xFF;0xFF;0xFF;0x01] [u30 0x1FFF_FFFF];
ok [0xFF;0xFF;0xFF;0xFF;0x3] [u30 0x3FFF_FFFF])];