#!/bin/sh -efu
# Generated by ./tests/gen_tests.sh from ./tests/gen_tests.in (prctl-sched-core-Xabbrev +prctl.sh -a71 -Xabbrev); do not edit.
set -- -a71 -Xabbrev
. "${srcdir=.}/prctl.sh"