1/*
2 * Copyright 2014, NICTA
3 *
4 * This software may be distributed and modified according to the terms of
5 * the BSD 2-Clause license. Note that NO WARRANTY is provided.
6 * See "LICENSE_BSD2.txt" for details.
7 *
8 * @TAG(NICTA_BSD)
9 */
10
11struct __s {
12  int fld;
13  int __fld;
14};
15
16typedef struct __s __t;
17
18int _f(int i)
19{
20  return i + 1;
21}
22
23int g(struct __s *sptr, __t *__x)
24{
25  return sptr->__fld + __x->__fld;
26}
27