In OCaml 3.11, when compiling to bytecode, annotation files indicate, for each function call, whether it is a tail call or not. However, these tail call annotations are missing when compiling to native code.