Fix dispatcher so that RESTRICT ONCE stack items are properly consumed.