$double_quote top-level constant

const $double_quote = 0x22

Character '"'.

Implementation 

const int $double_quote = 0x22