def put_int(self, value):
        self.pack(_int_le, value)
stmt : VAR vardecl SEMI
dataset/ETHPy150Open denisenkom/pytds/pytds/tds.py/_TdsWriter.put_int--crossover with--dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_stmt_var_vardecl