public class Ajdoc14Source {
    { assert(false); }
    
    public Ajdoc14Source() {
        assert(true);
    }
    
    public void doAssert() {
        assert(true);
    }
}