Compiles in CCS