let fct_name v _fm = v.Cil_types.vname