{"name": "interrupt", "code": "void __fastcall interrupt ( int @@a1@@ ) { signal ( @@a1@@ , interrupt ) ; rtimer_run_next ( ) ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}]}