#pragma once
#include <stdint.h>

extern void DebconPutChar(char c);
void DebconPrint(const char *str);
void DebconPrintHex(uint32_t value);