A PtoCTranslator