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


struct {
    int a;
    char *b;
} x1;

// int b;

main()
{
    int a;
    x1.a = 1;
    a = 133;
    printf("#0014:%d %d\n",x1.a,a);
    return 0;
}