Compilable, testing scheduling and interrupts