Char32

open fun Char32(): TerminalNode
Generated with STIG