removed
Added for debugging
Added test13.S trace.c + tweaks
correction