{"name": "os_pidfile_error", "code": "unsigned __int64 os_pidfile_error ( ) { int * v0 ; char * v1 ; char @@buf@@ ; unsigned __int64 @@v4@@ ; @@v4@@ = __readfsqword ( Number ) ; if ( daemonize ) { @@buf@@ = Number ; if ( write ( fd , & @@buf@@ , Number ) != Number ) perror ( String ) ; } else { v0 = _errno_location ( ) ; v1 = strerror ( * v0 ) ; fprintf ( stderr , String , v1 ) ; } return __readfsqword ( Number ) ^ @@v4@@ ; }", "source": [{"n": "v4", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}, {"n": "buf", "t": {"T": 1, "n": "char", "s": 1}, "location": "s9"}]}