Module Base.Map_intf.Check_accessors2