Not necessarily, this OCaml code is guaranteed to recurse forever.

let rec loop x =
Printf.printf "%i\n" x;
loop (x - 1)