void dummy(void){}