{"name": "._setjmp", "code": "int _setjmp ( struct __jmp_buf_tag @@env@@ [ Number ] ) { return setjmp ( @@env@@ ) ; }", "source": [{"n": "env", "t": {"T": 9, "n": "struct __jmp_buf_tag *__attribute__((__org_arrdim(0,1)))"}, "location": "r56"}]}