Module Base.Map_intf.Check_accessors1