#ifndef STDIO_H
#define STDIO_H

#include <types.h>

extern uint32_t curr_x;
extern uint32_t curr_y;

void printf(const char *s, ...);

#endif