coda-0.0.1: The coda compiler