/* Generated by Frama-C */
struct t {
   int a ;
};
typedef struct t t;
t __attribute__((__visibility__("hidden"))) f(void)
{
  t res = {.a = 0};
  return res;
}