double_u          832 util.c         typedef double double_u;
double_u          842 util.c         typedef U double_u;