if (log.isLoggable(Level.FINE)) {
for (int i=0; i<code.size(); i++) {
Insn insn = insn_start.get(i);
log.fine((insn!=null? "*" : " ") + i +
": " + (int)code.get(i) +
(insn!=null ? ("\t"+insn.toSymbolic().toString()) : ""));
}
}
}
public EModule toEModule() {