I see lots of examples and man pages on how to do things like search-and-replace using sed, awk, or gawk.
But in my case, I have a regular expression that I want to run
gawk '/.*abc([0-9]+)xyz.*/' file