(No code changes!)
* the default stacksize no longer set for a thread using printf * the stacksize for the main thread therefore adds the necessary space