void main() {
    print(vtos('1 2 3'), "\n");
    print(vtos('4 5 6'), "\n");
    print(vtos('7 8 9'), "\n");
    print(vtos('1 5 9'), "\n");
}