1  /* { dg-do run } */
       2  
       3  #include <stdio.h>
       4  
       5  #define PROGMEM __attribute__((__progmem__))
       6  
       7  const char PROGMEM a1 = 0x12; 
       8  const int PROGMEM a2 = 0x2345; 
       9  const long PROGMEM a3 = 0x12345678; 
      10  
      11  int main(void)
      12  {
      13    printf ("Hello World\n");
      14    return 0;
      15  }