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 
main(void)11 int main(void)
12 {
13   printf ("Hello World\n");
14   return 0;
15 }
16