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