Evaluation order

I would swear it is right-to-left in bytecode only, and left-to-right in native code? Let’s google… Why are OCaml function arguments evaluated right-to-left?