// one arg to main() is an error

//! args: 10

main() {
    return;
}

// check: Discard
// check: TypeMismatch