Compiled with Storm 0.8.1.