genspect::write_to_named_binary_file —
bool write_to_named_binary_file(aterm t, const std::string & filename);
Writes term t to file named filename in Binary aterm Format (baf).