D.java

public class D {
    // Comment should be ignored
    //-K1 @ requires x;
    void m() {}
}