(module Core_bin_prot)