void dummy(void) {
}