#!/bin/sh
set -e
cd "$(dirname "$0")"
echo "+ ./asr_fillmsg_leak"
./asr_fillmsg_leak
echo "RUN_EXIT=$?"