optimizations to ef_vector