Constant DUK_TYPE_NUMBER

Source
pub const DUK_TYPE_NUMBER: u32 = 4;