[][src]Constant CCODE::DFCS_PUSHED

pub const DFCS_PUSHED: u32 = 512;