"var roads=0; while (!man.Called(“man”)) {man.walkDown(roads++);} wind.Blowin=roads; assert(roads==42);"