INT

fun INT(): TerminalNode(source)