#include "config.h"

const char *version_string = "GNU Awk 4.1.0";