[Adlai]

http://gokcehan.github.io/verification/2013/03/17/memory-lea...

That sounds like a recipe for trouble... what if it runs for more than a few milliseconds?

[gokce]

would it be a problem if it runs for a whole second?