Inlined push/pop