Should the disassembler know about signedness of values? Yes, but where do we do that? Upper case are signed values, R is PC relative.. This needs a better spec : type info needs to travel somehow. It's probably best to see the assembler as a 2-way function (equation) and provide a composition and contract mechanism.