INT2

open fun INT2(): TerminalNode