INT1

open fun INT1(): TerminalNode