package patterntesting.check.runtime; public @interface NotNull { }