bound_witness.pbenum library