#include <stdarg.h>

char * OutBuff;

void putbyte(char c);

void putbyte(char c)
{
  char * _s0;

  _s0 = OutBuff;
  OutBuff = (OutBuff + 1);
  *(_s0) = c;
  return;
}