module NewImplicit {
    exports p;
    requires kotlin.stdlib;
    requires org.jspecify;
    requires annotations;
}