How hard does the comptroller’s office try to return money to taxpayer-funded entities?