SYNOPSIS
#include <ggi/gic.h>
int gicRecognizerWrite(gic_handle_t hand,
gic_recognizer *recognizer, FILE *file);
DESCRIPTION
Writes out a dump of the recognizer into the given file.TODO Write something useful here - be more verbose