Library bin_prot

The entry point for this library is module Bin_prot.