#!/bin/sh
# DF-4376 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
n/a — static-certain: dce112_resource.c:1353-1357 failure arm returns NULL without kfree(pool); destruct() (697-767) frees only sub-objects