Constant _optional_unwrap 

pub const _optional_unwrap: Symbol;