bootstrap/cowlink-cgen.bootstrap.c
// E_u16 workspace at ws+712 length ws+2
E_u16 workspace at ws+712 length ws+2
E_u16 workspace at ws + 712 length ws + 2
void f62(i2 p1194 ) {
	*(i2*)(intptr_t)(ws+712) = p1194; 
	i8 v1195 = (i8)(intptr_t)(ws+712);
	i2 v1196 = *(i2*)(intptr_t)v1195;
	i4 v1197 = v1196;
	f61(v1197);
endsub:;
}
void f62 ( i2 p1194 ) { * ( i2 * ) ( intptr_t ) ( ws + 712 ) = p1194 ; i8 v1195 = ( i8 ) ( intptr_t ) ( ws + 712 ) ; i2 v1196 = * ( i2 * ) ( intptr_t ) v1195 ; i4 v1197 = v1196 ; f61 ( v1197 ) ; endsub : ; }
E_u16 workspace at ws+712 length ws+2
E_u16 workspace at ws + 712 length ws + 2
/* value */ /*value */