""" % no_repository)
test.write(['work', 'aaa.c'], r"""
+#include <stdio.h>
+#include <stdlib.h>
void
aaa(void)
{
""")
test.write(['work', 'bbb.c'], r"""
+#include <stdio.h>
+#include <stdlib.h>
void
bbb(void)
{
""")
test.write(['work', 'foo.c'], r"""
+#include <stdio.h>
+#include <stdlib.h>
extern void aaa(void);
extern void bbb(void);
int