Package: ppx-bin-prot