In normal libc, in its test application main.cc(/repos/libports/src/test/libc, consisting of only printf statments), if I comment the inclusion of stdio.h instead using namespace Genode then it prints the statements as it is supposed to print with libc. As far as my understanding it is using the Genode printf() help to print the statements, not the libc printf().
       
        But, in my library(bionic), the same thing is not working after the same changes as above(with same main.cc ). Its not printing anything and waiting infinitely. I cannot understand how to interpret this problem, Is it problem with Library?

    The run file of my library is similar to the libc run file.