Writing vectors to files
function vectorToString input Real v[:]; output String s; end vectorToString;