Vector.tt (compilable)