#include <stdarg.h>
#include <stdbool.h>
#include <stdint.h>
#include <stdlib.h>
void rust_halt(void);
void rust_halt_2(void);