Header file with a lot of general system defines
void wait();
wait() waits for the next interrupt to be triggered, either IRQ or NMI. Will trigger even it SEI is blocking the IRQ handler.
PROFILER_START(x)
PROFILER_END(x)