let kernel_parameters_correctness = [ Kernel.MainFunction.parameter; Kernel.LibEntry.parameter; Kernel.AbsoluteValidRange.parameter; Kernel.Overflow.parameter; Kernel.SafeArrays.parameter; Kernel.UnspecifiedAccess.parameter; ]