/* gbos userland C API (thin wrappers over rst $30 syscalls; see c/libc.asm) */
#ifndef GBOS_H
#define GBOS_H
void          writes(const char *buf, unsigned char len); /* write to console */
void          nl(void);                                   /* newline (CRLF)   */
unsigned char readc(void);                                /* read one byte    */
void          sexit(unsigned char code);                  /* exit(code)       */
unsigned char getpid(void);
#endif