#ifndef RUNTIME_H
#define RUNTIME_H

#include <stdint.h>

uint8_t get_char(void);
void put_char(uint8_t v);

#endif