David GAWKshtein (GAWK)