/* Dumps a character a_nb times on a file.  */
void cr_utils_dump_n_chars(guchar a_char, FILE *a_fp, glong a_nb)
/* Dumps a character a_nb times on a file.  */
void cr_utils_dump_n_chars(guchar a_char, FILE *a_fp, glong a_nb)
{
        glong i = 0;
        for (i = 0; i < a_nb; i++) {
                fprintf (a_fp, "%c", a_char);
        }
}