DFCS_HOT top-level constant

DFCS_STATE const DFCS_HOT

Implementation

const DFCS_HOT = DFCS_STATE(4096);