#ifndef _PRINTF_H
#define _PRINTF_H

#include "types.h"
/*
  Set standard output channel (default 1)
*/
index_t print_stdout(index_t handle);

void print_char(char c);
void print_int(int n);
void print_uint_hex(int n);
void print_uint(unsigned int n);
int print_array(number_t *s, index_t len);
int print_string(char *s);
void print_number(number_t x);
void print_format(char *format, ...);
char* sprint_int(char *buf, int i);
// buffer version supporting up and down growing cyclic buffers
int bprint_char(char *buf, int off, int size, int dir, char c);
int bprint_int(char *buf, int off, int size, int dir, int i);

#endif