#!/bin/sh
# DF-4459 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sh run.sh sys/dev/drm/drm_gem.c   (static proof of the asymmetry)