#define XLAT_ABBREV 1
#include "prctl-tagged-addr-success.c"