From: Jonathan Roewen <jonathan.roewen@gmail.com>

> I've tried manually compiling libasmrun.a, but I'm getting some
> strange unresolved symbols to caml functions/declarations.
> 
> startup.o:
>  caml_data_segments
>  caml_code_segments
> i386.o
>  caml_program
>  caml_apply2
>  caml_apply3
> fail.o:
>  caml_exn_Failure (basically whole lot from the struct with these in it)
>  caml_bucket_Out_of_memory
>  caml_bucket_Stack_overflow
> roots.o:
>  caml_frametable
>  caml_globals

These symbols are defined at link time by the ocamlopt compiler.
You can get the assembler code defining them by using the -dstartup
option of ocamlopt while linking; it will show up in a
/tmp/camlstartup????.s file.
Note of course that some of these definitions are specific for each
program.

Jacques Garrigue