bootstrap/cowwrap.bootstrap.c
// print_i32 workspace at ws+1160 length ws+24
print_i32 workspace at ws+1160 length ws+24
print_i32 workspace at ws + 1160 length ws + 24
void f15(i4 p140 ) {
	*(i4*)(intptr_t)(ws+1160) = p140; 
	i8 v141 = (i8)(intptr_t)(ws+1160);
	i4 v142 = *(i4*)(intptr_t)v141;
	i1 v143 = (i1)+10;
	i8 v144 = (i8)(intptr_t)(ws+1164);
	i8 v145;
	f13(&v145, v144, v143, v142);
	i8 v146 = (i8)(intptr_t)(ws+1176);
	*(i8*)(intptr_t)v146 = v145;
	i8 v147 = (i8)(intptr_t)(ws+1164);
	f11(v147);
endsub:;
}
void f15 ( i4 p140 ) { * ( i4 * ) ( intptr_t ) ( ws + 1160 ) = p140 ; i8 v141 = ( i8 ) ( intptr_t ) ( ws + 1160 ) ; i4 v142 = * ( i4 * ) ( intptr_t ) v141 ; i1 v143 = ( i1 ) + 10 ; i8 v144 = ( i8 ) ( intptr_t ) ( ws + 1164 ) ; i8 v145 ; f13 ( & v145 , v144 , v143 , v142 ) ; i8 v146 = ( i8 ) ( intptr_t ) ( ws + 1176 ) ; * ( i8 * ) ( intptr_t ) v146 = v145 ; i8 v147 = ( i8 ) ( intptr_t ) ( ws + 1164 ) ; f11 ( v147 ) ; endsub : ; }
print_i32 workspace at ws+1160 length ws+24
print_i32 workspace at ws + 1160 length ws + 24
/* value */ /*value */