/* Stub for libddekit. Hopefully this will go away soon. */
#include <machine/compat_jmp_buf.h>