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