function tailmatch(string) { length(string) } BEGIN { tailmatch(defanchors["test"]) defanchors["test"] = defanchors["test"] }