Constant const_allocate 

pub const const_allocate: Symbol;