1/*
2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: BSD-2-Clause
5 */
6
7unsigned f(unsigned x)
8{
9  return x + 1;
10}
11
12int f2(unsigned z)
13{
14  int y = z + 3;
15  return y / 2;
16}
17
18unsigned g(unsigned y)
19{
20  return y + 2;
21}
22
23unsigned char h(unsigned char x)
24{
25  return x + 1;
26}
27