#include "config.h"

const char *version_string = "GNU Awk 3.1.83";