1typedef int __int32_t;
2int __kernel_rem_pio2(int prec)
3{
4	__int32_t i, jz;
5	double fw, fq[20];
6	switch(prec) {
7	    case 2:
8		fw = 0.0;
9	    case 3:
10		for (i=jz;i>0;i--) {
11		    fw      = fq[i-1] +fq[i];
12		    fq[i-1] = fw;
13		}
14	}
15}
16