rearrange bind instructions, add mark/rollback; fix not