write(stdout, "v");