1  #include <stdio.h>
       2  #include <stdlib.h>
       3  #include <stdint.h>
       4  
       5  extern char bss_in_mbind0;
       6  extern char data_in_mbind3;
       7  
       8  int
       9  main (void)
      10  {
      11    if (((intptr_t) &bss_in_mbind0 & (0x4000 - 1)) != 0)
      12      abort ();
      13    if (((intptr_t) &data_in_mbind3 & (0x4000 - 1)) != 0)
      14      abort ();
      15    printf ("PASS\n");
      16    return 0;
      17  }