Module Core_kernel__.Core_set_intf.Check_accessors0