{"name": "random_init", "code": "void __fastcall random_init ( unsigned __int16 @@a1@@ ) { srand ( @@a1@@ ) ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "unsigned __int16", "s": 2}, "location": "r56"}]}