Module Ppx_bin_prot