pub const HAVE_TYPEOF: u32 = 1;