UnsatIssue25.java

public class UnsatIssue25 {
    static int c;
    public static void main(String[] args) {
        c = 0;
        assert c == 42;
    }
}