## Header contains non-printing characters, so this is more

## Header contains non-printing characters, so this is more

## reliable than using awk.

## reliable than using awk.

shift

shift

exec "${AWK-awk}" '

exec "${AWK-awk}" '

      if (data[dircat])

      if (data[dircat])

        printf "\n%s\n%s", topic[dircat], data[dircat]

        printf "\n%s\n%s", topic[dircat], data[dircat]

  }

  }