int printf(const char *format, ...);

enum {
    a,b,c
};

enum aho {
    a1=3,b1,c1,d1
};

enum aho j = c;

const int a2=10;

int
main()
{
    enum aho i;
    enum {
	k=7
    };
    enum foo {
	a1=-3,b1,c1
    };

    i = a1;
    printf("#0025:%d %d %d\n",k,i,j);
    i = a2;
    printf("#0027:%d %d %d %d %d %d %d\n",a,b,a1,b1,d1,a2,i);
    return 0;
}