Constant _vector_push 

pub const _vector_push: Symbol;