More compression-friendly popping of values from the stack. 1017.