let
size_add sz1 sz2 =
B
(
Int64
.add (byte_of_size sz1) (byte_of_size sz2))