#include <Uefi.h>
#include <Uefi/UefiSpec.h>

void textout(UINT8 code);
void print(char *string);
void printhex(UINT64 num, UINT8 digit);