function joinThreeVectors input Integer v1[:], v2[:], v3[:]; output Integer vres[size(v1, 1) + size(v2, 1) + size(v3, 1)]; end joinThreeVectors;