> Промерял Ocaml - 59 syscalls. Программа:
> let _ = print_string "hello\n"
> Компиляция
> ocamlopt.opt -O3 -inline 1000 hello_ml.ml -o hello_ml

Тоже померял:

ocamlc hello.ml -o hello_ocamlbytecode
strace -fc ./microcaml hello_ocamlbytecode 
hello
% time     seconds  usecs/call     calls    errors syscall
------ ----------- ----------- --------- --------- ----------------
  0,00    0,000000           0         1           write
  0,00    0,000000           0         1           open
  0,00    0,000000           0         1           close
  0,00    0,000000           0         1           fstat
  0,00    0,000000           0         1           mmap
  0,00    0,000000           0         1           rt_sigaction
  0,00    0,000000           0         1           execve
  0,00    0,000000           0         1           sigaltstack
------ ----------- ----------- --------- --------- ----------------
100.00    0,000000                     8           total

Но сразу оговорюсь: в более сложных случаях проигрывает штатному интерпретатору.