[viraptor]

Not likely, unless it's some ancient version. See http://img715.imageshack.us/img715/1051/hexraysstx.png posted above - that's hex rays. Not sure which one was used, but 1.1 gives similar output.

[updog]

Yep, you're right. I was accidentally talking out of my ass. Sorry :)