#ifndef STDIO_H
#define STDIO_H

#include <types.h>

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

#endif