// no arguments to main() is good

main() {
    return;
}