logo
pub const MRUBY_RELEASE_NO: u32 = 30000;