Parameter Core_kernel.Core_map_intf.Check_accessors.3-Key