Handle intra-symbol jmps, including call optimisation jmps.
Better trace printing.
Detect syscalls.
Deal with spurious breakpoints due to recursion.