Supporting >=; adjusting trace file emissions.