Cum compilation

Compilation cum trans