let data_of_lvar v = D1var (None, v)