petdingo
An
Estelle
to
C++
translator.