pub const HAVE_FINITE: u32 = 1;