{"name": "mtd_write", "code": "int mtd_write ( ) { char @@v0@@ ; char @@buf@@ [ Number ] ; unsigned int @@v3@@ ; @@v3@@ = Number ; fd = open ( mtd_d , Number ) ; if ( fd < Number ) { printf ( String , mtd_d ) ; exit ( Number ) ; } @@v0@@ = flag ++ ; if ( ( @@v0@@ & Number ) != Number ) @@v3@@ = write ( fd , & EeBuffer1 , Number ) ; else @@v3@@ = write ( fd , & EeBuffer0 , Number ) ; lseek ( fd , Number L , Number ) ; if ( read ( fd , @@buf@@ , Number ) != Number ) { puts ( String ) ; close ( fd ) ; exit ( Number ) ; } printf ( String , @@v3@@ , ( unsigned int ) @@buf@@ [ Number ] ) ; return close ( fd ) ; }", "source": [{"n": "v0", "t": {"T": 1, "n": "char", "s": 1}, "location": "r8"}, {"n": "buf", "t": {"T": 2, "n": 140, "s": 1, "t": "char"}, "location": "s144"}, {"n": "v3", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s4"}]}