Our first attempt won't work. ... public static def main(argv:Rail[String]) { This line is just the same as in the Hello, World example. (In fact, the Hello,

Our first attempt won't work. ... public static def main(argv:Rail[String]) { This line is just the same as in the Hello, World example. (In fact, the Hello, World example had a latent version of the same bug. It compiled because we never tried to do anything with argv, and thus never tried to do anything that violated the place rules with it.)