/* This program makes B return multiple times, and each time
* the "7" is popped from the stack, causing the stack to become
* underfull
*/
ret: label = null;
B() -> int32
{
ret = back;
goto out;
@back:
return 20;
}
print 7 + B();
@out:
print "asdf";
goto ret;