let xaddr_of_var ma v = Lvaddr (ma, v)