Utility for $COQ INU?

Utility for $COQ INU?