Variables starting with `v' in mint

• value mint/cookie.h:14
• vscreen mint/mem.c:67
• vt52xkey mint/tty.c:627