INTEGER4

open fun INTEGER4(): TerminalNode