{"name": "dump_radio_registers", "code": "void dump_radio_registers ( ) { unsigned int @@v0@@ ; int @@i@@ ; for ( @@i@@ = Number ; @@i@@ <= Number ; ++ @@i@@ ) { @@v0@@ = QND_ReadReg ( ( unsigned int ) @@i@@ ) ; printf ( String , String , ( unsigned int ) @@i@@ , @@v0@@ ) ; } }", "source": [{"n": "v0", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r8"}, {"n": "i", "t": {"T": 1, "n": "int", "s": 4}, "location": "s4"}]}