{"name": "main", "code": "int __cdecl __noreturn main ( int @@argc@@ , const char * * @@argv@@ , const char * * @@envp@@ ) { __int64 @@v3@@ ; unsigned int @@v4@@ ; @@v4@@ = Number ; if ( @@argc@@ > Number ) { @@v4@@ = atoi ( @@argv@@ [ Number ] ) ; if ( ! @@v4@@ ) @@v4@@ = Number ; } fwrite ( String , Number , Number , stderr ) ; @@v3@@ = BN_generate_prime ( Number L , @@v4@@ , Number L , Number L , Number L , callback , Number L ) ; fputc ( Number , stderr ) ; BN_print_fp ( stdout , @@v3@@ ) ; fputc ( Number , stdout ) ; BN_free ( @@v3@@ ) ; exit ( Number ) ; }", "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": "v3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s16"}, {"n": "v4", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s4"}]}
{"name": "callback", "code": "int __fastcall callback ( int @@a1@@ ) { if ( @@a1@@ ) { if ( @@a1@@ == Number ) { fputc ( Number , stderr ) ; } else if ( @@a1@@ == Number ) { fputc ( Number , stderr ) ; } } else { fputc ( Number , stderr ) ; } return fflush ( stderr ) ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}]}