# Object files to be removed from libmain
printf-stdarg.o
libc.o