""")
test.write('f1.c', r"""
+#include <stdio.h>
void
f1(void)
{
""")
test.write('f2a.c', r"""
+#include <stdio.h>
void
f2a(void)
{
""")
test.write('f2b.c', r"""
+#include <stdio.h>
void
f2b(void)
{
""")
test.write('f2c.c', r"""
+#include <stdio.h>
void
f2c(void)
{
""")
test.write('f3a.c', r"""
+#include <stdio.h>
void
f3a(void)
{
""")
test.write('f3b.c', r"""
+#include <stdio.h>
void
f3b(void)
{