Constant pushpop_unsafe 

pub const pushpop_unsafe: Symbol;