let xvar env vi : M.value option =
    try Some(Varinfo.Map.find vi env.xvars) with Not_found -> None