main() {
}

// check: VerificationError
// check: InvalidFallThrough