RIGHT_CTRL_PRESSED top-level constant

int const RIGHT_CTRL_PRESSED

Implementation

const int RIGHT_CTRL_PRESSED = 4;