            strlength bits   hexlength
okay:              63   6    0000_003F
okay:             126   7    0000_007E
okay:             252   8    0000_00FC
okay:             504   9    0000_01F8
okay:           1,008  10    0000_03F0
okay:           2,016  11    0000_07E0
okay:           4,032  12    0000_0FC0
okay:           8,064  13    0000_1F80
okay:          16,128  14    0000_3F00
okay:          32,256  15    0000_7E00
okay:          64,512  16    0000_FC00
okay:         129,024  17    0001_F800
okay:         258,048  18    0003_F000
okay:         516,096  19    0007_E000
okay:       1,032,192  20    000F_C000
PASS.
