let addr v t = D1addr (v, t)