err in constfold.c func cat declare and assign Type t; but t never used? t = es2->type; es->type = type; either es->type = t; or an assertion might be preferred?