# CONFIG_ARCH_HAS_SETJMP is not set
