(module Binary_packing)