{"name": "usage", "code": "void __fastcall __noreturn usage ( const char * @@a1@@ , const char * @@a2@@ ) { fprintf ( stderr , String , @@a1@@ , @@a2@@ ) ; exit ( Number ) ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "const char"}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "const char"}, "location": "r64"}]}