Add runtime annotation support to assembler/disassembler and fix bugs