pub const JPOS_UNDEFINED: u32 = 0u32;