Constant JPOS_SETTOU_TEINEI_O 

pub const JPOS_SETTOU_TEINEI_O: u32 = 713u32;