Hmm, won't work like this for `thread_stack_init()`