
Many thanks to Gabriele Mambrini <gm@badpenguin.org> 
who write some functions for libgringo and the old parser for gringosh.
