/* Created in the user's home directory, appends to existing file. */
# define WARNING_FILE "colored_stderr_warning_log.txt"
#endif
/* Created in the user's home directory, appends to existing file. */
# define WARNING_FILE "colored_stderr_warning_log.txt"
#endif