• Profiling the Idris compiler
• Controlling the C RTS
• Profiling generated C code