def version(self, dummy):
        self.stdout.write('%s\n' % VERSION)
        self.exit(0)
stmts : stmt
dataset/ETHPy150Open XiaoMi/minos/supervisor/supervisor/options.py/ServerOptions.version--crossover with--dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_stmts_stmt