Interesting approach. There's still a lot we can achieve with static analysis in those good old languages.
