$rangle top-level constant

int const $rangle

const int $rangle = 0x3E;