use an abstract for a GraphEdge.p_val in flow control, saying if its
inter/intra procedural etc and its linkage type etc (plt etc) - this will make
the basic block graph construction work properly also.

use a global symbol table - this will fix up all the symbol updates.
^^ done

parse an instruction into its operand/operants, addressing modes etc - this
will allow the beginnings of some other analysis.
^^^ done :)

seperate the Printer into various subfunctions - this will allow us to do
interactive analysis using a mini interpreter.
