C4.java

public class C4 {
    void m(@org.checkerframework.checker.nullness.qual.Nullable Object p) {
        p.toString();
    }
}