I just did some experiments with Mint, because we ran into some problems with using HJ inside DrJava, and I wanted to make sure we didn’t have those problems. That’s when I noticed that our Power_Let [1] example had been wrong. One of our undergrads had written it as 
, and no one had noticed…
Embarrassing… But at least the unstaged code was equally wrong, so the benchmark is valid ;)
