/* * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) * * SPDX-License-Identifier: BSD-2-Clause */ /* * The exact behaviour of these functions is unimportant for our example. */ void rec() { rec(); } void f() { rec(); }