Sun Apr 12 10:34:52 CEST 2009

disassembler types

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

It's probably best to see the assembler as a 2-way function
(equation) and provide a composition and contract mechanism.