[nkassis]

It's a good question. I'd bet maybe not production code but I'm sure they write some utilities and things for themselves.