Constant const_deallocate 

pub const const_deallocate: Symbol;