This expression is not `mawk`-compatible...