prog: xlc_dbl_u32