bootstrap/cowwrap.bootstrap.c
// E_h16 workspace at ws+1224 length ws+2
E_h16 workspace at ws+1224 length ws+2
E_h16 workspace at ws + 1224 length ws + 2
void f64(i2 p1284 ) {
	*(i2*)(intptr_t)(ws+1224) = p1284; 
	i8 v1285 = (i8)(intptr_t)(ws+1224);
	i2 v1286 = *(i2*)(intptr_t)v1285;
	i4 v1287 = v1286;
	i1 v1288 = (i1)+4;
	f62(v1288, v1287);
endsub:;
}
void f64 ( i2 p1284 ) { * ( i2 * ) ( intptr_t ) ( ws + 1224 ) = p1284 ; i8 v1285 = ( i8 ) ( intptr_t ) ( ws + 1224 ) ; i2 v1286 = * ( i2 * ) ( intptr_t ) v1285 ; i4 v1287 = v1286 ; i1 v1288 = ( i1 ) + 4 ; f62 ( v1288 , v1287 ) ; endsub : ; }
E_h16 workspace at ws+1224 length ws+2
E_h16 workspace at ws + 1224 length ws + 2
/* value */ /*value */