$etx top-level constant

const $etx = 0x03

"End of Text" control character.

Implementation 

const int $etx = 0x03