{"name": "symbol__init_regexpr", "code": "unsigned __int64 symbol__init_regexpr ( ) { unsigned __int64 @@v1@@ ; @@v1@@ = __readfsqword ( Number ) ; regcomp ( & file_lineno , String , Number ) ; return __readfsqword ( Number ) ^ @@v1@@ ; }", "source": [{"n": "v1", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]}