//# run
main() {
label b0:
    // negative stack size, abort takes an arg
    abort;
}