#pragma once
#include <stdarg.h>
int _dprintf(const char *fmt, ...);
void platform_halt(void);