#!/bin/sh
# WARNING: This file was auto-generated. Do not edit!

awk '
  /^d/ {
    if ($8 == x) print
  }
' x="$1"


syntax highlighted by Code2HTML, v. 0.9.1