let location x = Some(fst x.vdecl)