/* This program makes B return multiple times, and each time
 * the "7" was popped from the stack, causing the stack to become
 * underfull. 
 */

i: int32 = 10;

ret: label = null;

B() -> int32
{
    ret = back;
    goto out;

    @back:
    return i;
}

print i + B();

@out:
print "asdf";

if (--i > 0)
    goto ret;