# CONFIG_TEST_STACKINIT is not set