Constant MRUBY_RELEASE_TEENY 

pub const MRUBY_RELEASE_TEENY: u32 = 0;