TCU e verificadores independentes: pode para aeroportos; mas não pode para rodovias!