renames syn.s; push_r16;