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;