$prod top-level constant

const $prod = 8719

n-ary product (product sign) ('∏')

Implementation 

const int $prod = 0x220F