1#include <stdio.h>
2
3extern int bar (void);
4extern int baz (void);
5
6int
7foo (void)
8{
9 int v1 = bar ();
10 int v2 = baz ();
11
12 printf (format: "bar=%d, baz=%d\n", v1, v2);
13
14 return v1 != 666 || v2 != 42;
15}
16

source code of glibc/elf/tst-tls19mod1.c