XSRETURN(off); does (slightly more than) PL_stack_sp = PL_stack_base + ax + (off - 1);. PUTBACK; does PL_stack_sp = sp;. Yep, I think that behavior is reliable. Those are just two different ways of saying how many items from the top of the stack should be considered return values.