Hi Tom Quite a while ago I interfaced Haskell and Ocaml/CIL through both ATerms and ASDL pickles. I can look at digging out this code if you like - it was fairly complete, but it had a bug somewhere and will probably be a few revisions behind the current CIL. Best wishes Stephen