I use printf in a thread. like the following code:
void task1(void) { while(1) printf("hello!\n"); }
void task2(void) { while(1); }
Finally, the program run in to OS_ERR_STK_OVF.
Interesting observation. Can't say this is entirely unexpected, though.