Simple optimisations (wrap, dead code); print opcodes for debugging