# CONFIG_SCHED_STACK_END_CHECK is not set