print_char 'v'