int dummy(void) {
    return 0;
}