void dummy2() { }