More on the Small-C compilator which can be used to write programs under FutureOs soon.
The compilator takes as input language an OCaml bytecode, that is a compiled OCaml program.