#include <stdlib.h>
typedef struct foo{
   
   int x;
   int z;

} foo_t;


int b_main(int n){
   foo_t * a;
   int * b;
   ASSUME(n > 0);
   
   a = (foo_t*) malloc(n * sizeof(foo_t));

   b = (int *) a; /*-- down casting. Length(b) = 2 * Length(a) --*/

   b[2*n -1 ] = '\0';
   

   return 1;
}

int main(void)
{
  int n;
  return b_main(n);
}
