/* Put a World State Token on the A stack */
/* This is necessary because we've not unboxed it (to reveal a void) yet */
SpA -= AREL(1);
/* Put a World State Token on the A stack */
/* This is necessary because we've not unboxed it (to reveal a void) yet */
SpA -= AREL(1);