made VECTOR_push_back a static inline function