$double_quote top-level constant

int const $double_quote

Character ".

Implementation

const int $double_quote = 0x22;