let location f = Some(Cil.source f.floc)