Merge remote-tracking branch 'origin/rjp' into ldc/tipi
Initial experiments by Simon with capturing isa results.
Restored version 1 of PTP.
Merge commit 'e8669a36abc85d1798d1f0ad4cc0dcf2dca62fb0' into rjp
More undefined fixes