/* APPLE LOCAL file radar 5996271 */
/* encodeing support for 128-bit ints. */
/* { dg-do run } */

extern void abort(void);

int main () {
#if __LP64__
    if (@encode(__uint128_t)[0] != 'T')
      abort();
    if (@encode(__int128_t)[0] != 't')
      abort();
#endif
    return 0;
}