Compiler option
Shell.Options.Compiler
val generateTraceProfileCode: bool option
If true, tracing and call-counting information is included in all subsequently compiled functions. Those functions will also contain debugging information as generated by generateDebugInfo.