> Hi,
>
> Can the OCaml bytecode interpreter be embedded in C programs? For
> example, a C program that mimics the top-level to a simpler degree.


 yes, you can. I've developed that embedded interpreter you look for :-)
 At current time, It only works on ocaml 3.06, but the modifications to
 perform are quite simple (i think) to make it works with the 3.08.


some links:
http://caml.inria.fr/pub/ml-archives/caml-list/2004/04/f3e4b58960169844f52a582c850028e9.en.html
http://www.pps.jussieu.fr/~capel/eng/toplevel/toplevel.html

 regards,

 Clement