{"name": "uip_ds6_compute_reachable_time", "code": "__int64 uip_ds6_compute_reachable_time ( ) { unsigned int @@v0@@ ; int @@v1@@ ; @@v0@@ = ( unsigned int ) dword_422C48 >> Number ; @@v1@@ = ( unsigned __int16 ) ( ( unsigned __int16 ) random_rand ( ) << Number ) ; return @@v0@@ + ( @@v1@@ + ( unsigned int ) ( unsigned __int16 ) random_rand ( ) ) % dword_422C48 ; }", "source": [{"n": "v0", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r104"}, {"n": "v1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r32"}]}