Added make_frozen() to util.