s, deserialize_deref(thing->field%d)); \\" % (i + 0))         print("        if (bad(res)) { return res; } \\")     print("        return res; \\")     print("    } \\")     print("    extern int dont_use_RDB_MAKE_SERIALIZABLE_