#!/bin/sh
# DF-2867 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
./ktrleak   (as unprivileged user, e.g. uid 1001)