//# run
main() {
label b0: // empty functions not allowed
}