vitoc sourcefile.v [>result.c]
Items in [] are optional.
Output is sent to standard output.
Thus, vitoc can be used as a filter, but more commonly the result is redirected to a file with a .c extension, which can be compiled by a compiler like gcc.