[DEV] add pushFront API for vector