Okay, one last name change: "never noinit" -> "ignore noinit" to avoid double
negatives but still show the purpose of the pragma.