Constant JPOS_SETSUBI_TEKI

pub const JPOS_SETSUBI_TEKI: u32 = 801u32;