class CtorWithArgs {
    CtorWithArgs(int x) {}
    void main() { IO.println("instance main, but no zero-argument constructor"); }
}