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