int dummy() {return 0;}