-trans___len = UNTAG_Int(len);
-orig_return = file_NativeFile_NativeFile_io_write_2( UNBOX_NativeFile(recv), UNBOX_NativeString(buf), trans___len );
+trans_recv = UNBOX_NativeFile(recv);
+trans___buf = UNBOX_NativeString(buf);
+orig_return = file_NativeFile_NativeFile_io_write_2( trans_recv, trans___buf, UNTAG_Int(len) );