add util.rkt