TODO Take a look at printf("## LibPrintf TODO ##\n"); and if (FALSE) { // TODO: crash in there - WHY ? and find why it crashes on CP