Need to debug vec.cc