header file for graph girth