Constant JPOS_SETSUBI_KEN 

pub const JPOS_SETSUBI_KEN: u32 = 813u32;