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