/* Serializes the current instance of #CRSelector to a file.  */
void cr_selector_dump(CRSelector *a_this, FILE *a_fp)
/* Serializes the current instance of #CRSelector to a file.  */
void cr_selector_dump(CRSelector *a_this, FILE *a_fp)
{
        guchar *tmp_buf = NULL;
        if (a_this) {
                tmp_buf = cr_selector_to_string (a_this);
                if (tmp_buf) {
                        fprintf (a_fp, "%s", tmp_buf);
                        g_free (tmp_buf);
                        tmp_buf = NULL;
                }
        }
}