annotated todo opcodes