$dot top-level constant

int const $dot

const int $dot = 0x2E;