util_unit.t, everything except reify