compilation cum