In single-threaded, synchronous, non-recursive code, we can be sure that for any given function, there