$hat top-level constant

int const $hat

const int $hat = 0x5E;