Module Base.Set_intf.Check_accessors0