WyC: Updating Code Generator.