Convert between size tripes and a compact form fitting in 12 bits where each size, which must be a POT, is encoded as its log2, on 4 bits so the largest representable size is 2^15 == 32k ... big enough.
source not stored for this graph (policy: none)