int main() {
    return 0;
}

/*%%*
'main' must return 'void'
*%%*/