let define = function
      | C_array arr ->
          let key = F.Arrayinfo.index arr in
          if not (Harray.mem aindex key) then
            ( Harray.add aindex key () ; !define_array arr )

      | C_comp comp ->
          let key = F.Compinfo.index comp in
          if not (Hcomp.mem cindex key) then
            ( Hcomp.add cindex key () ; !define_comp comp )
      | _ -> ()