Constant TRAP_UNHANDLED_TAG 

pub const TRAP_UNHANDLED_TAG: TrapCode;