Constant JPOS_SETSUBI_TEKI 

pub const JPOS_SETSUBI_TEKI: u32 = 801u32;