Constant TRAP_CAST_FAILURE 

pub const TRAP_CAST_FAILURE: TrapCode;