[titzer]

I've been working on this problem a while ago, but Virgil II didn't get much traction outside of a couple academic projects. It's here though:

http://compilers.cs.ucla.edu/virgil/