Constant assert_receiver_is_total_eq 

pub const assert_receiver_is_total_eq: Symbol;