let mk_var x d = External(x, d)