added a simple example that calls down into libc's printf