let get_loc_name env = function
        | GlobalVar(uid, _)        | LocalVar(uid, _, _) -> env.gnames.(uid)