#include <inttypes.h>

// From mandel-core.s:
extern void mandel_start(void);