improve util.ss