printf and libc are not much of an issue as the c standard library and the posix specification were explicitly created to allow for multiple implementations of the API.