Failure to translate structs after typedefs

[infdivzero]

This C code

typedef struct AAA AAA;

struct AAA {
    int x;
};

should produce

@[translated]
// module main etc

struct AAA {
    x int
}

but only the @[translated] attribute and module statement are generated. This will translate as expected:

typedef struct AAA {
    int x;
} AAA;