vector in one file and with common types