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

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