petdingo

An Estelle to C++ translator.