{"name": ".execvp", "code": "int execvp ( const char * @@file@@ , char * const @@argv@@ [ ] ) { return execvp ( @@file@@ , @@argv@@ ) ; }", "source": [{"n": "file", "t": {"T": 3, "t": "const char"}, "location": "r56"}, {"n": "argv", "t": {"T": 9, "n": "char *const *__attribute__((__org_arrdim(0,0)))"}, "location": "r64"}]}