extern int f0(int);
extern int f1(int);
static int f2(int);
static int f3(int);
extern int v0;
extern int v1;
static int v2;
static int v3;
typedef int T0;
extern int f0(int);
extern int f1(int);
static int f2(int);
static int f3(int);
extern int v0;
extern int v1;
static int v2;
static int v3;
typedef int T0;