write_object.h
[
plain text
]
extern
void
write_object
(
char
*out_file_name);