A program for encoding and decoding C type declarations