Module Base__Map_intf.Check_accessors1