#pragma once

int kputchar(int c);
int kputs(const char *s);