#!/bin/sh -efu
# Generated by ./tests/gen_tests.sh from ./tests/gen_tests.in (prctl-tagged-addr-Xverbose +prctl.sh -Xverbose -a54); do not edit.
set -- -Xverbose -a54
. "${srcdir=.}/prctl.sh"