Constant const_allocate

pub const const_allocate: Symbol;