Caml Light est implémenté comme un compilateur code octet, entièrement bootstrappé.
Comme on peut le constater, une macro-instruction Java peut être remplacée par au moins deux instructions de code octet Java.
