use output_space_before_token, instead of deprecated print_single_space