"printf("line: %d \n", __LINE__);" does not work on System Workbench
see my post at
http://www.openstm32.org/tiki-view_forum_thread.php?comments_parentId=4210
I have a hack of implementation to dynamic switching standard Output between Null, Semihosting, UARTx etc..
-Andy