VK_F24 top-level constant

int const VK_F24

const VK_F24 = 0x87;