object F extends E { def main(args: Array[String]) = assert(x == args(0).toInt, x) }