prog: bug132918
stdout_filter: filter_inf_nan