simplify disassembly annotations a bit