Function assert_bitvector_by 

pub fn assert_bitvector_by(_: ())