ALPHA only: oracle must send the trace back to user for analysis.