Implement push Iz/IbS, retf and all group 1 encodings