{"name": "main", "code": "int __cdecl main ( int @@argc@@ , const char * * @@argv@@ , const char * * @@envp@@ ) { int @@result@@ ; unsigned int @@v4@@ ; @@v4@@ = pthread_rwlock_trywrlock ( & rwlock_3581 ) ; if ( pthread_rwlock_unlock ( & rwlock_3581 ) ) { puts ( String ) ; exit ( Number ) ; } if ( pthread_rwlock_destroy ( & rwlock_3581 ) ) { puts ( String ) ; @@result@@ = Number ; } else if ( @@v4@@ ) { if ( @@v4@@ == Number ) { puts ( String ) ; @@result@@ = Number ; } else { printf ( String , @@v4@@ ) ; @@result@@ = Number ; } } else { puts ( String ) ; @@result@@ = Number ; } return @@result@@ ; }", "source": [{"n": "envp", "t": {"T": 3, "t": "const char *"}, "location": "r16"}, {"n": "argc", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}, {"n": "argv", "t": {"T": 3, "t": "const char *"}, "location": "r64"}, {"n": "result", "t": {"T": 1, "n": "int", "s": 4}, "location": "r8"}, {"n": "v4", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s4"}]}