On 04/30/2015 08:43 AM, Timo Sintonen wrote: > Printf is a little tricky. It is actually a file operation to stdout and > that is actually a syscall to kernel. No, you usually have to implement some hook for outputting yourself, e.g. putc or write, printf solely takes care of the formatting.