text: //
  // conio.c
  //
  // Console I/O
  //
  // Copyright (C) 2002 Michael Ringgaard. All rights reserved.
  //
  // Redistribution and use in source and binary forms, with or without
  // modification, are permitted provided that the following conditions
  // are met:
  // 
  // 1. Redistributions of source code must retain the above copyright 
  //    notice, this list of conditions and the following disclaimer.  
  // 2. Redistributions in binary form must reproduce the above copyright
  //    notice, this list of conditions and the following disclaimer in the
  //    documentation and/or other materials provided with the distribution.  
  // 3. Neither the name of the project nor the names of its contributors
  //    may be used to endorse or promote products derived from this software
  //    without specific prior written permission. 
  // 
  // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
  // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  // IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  // ARE DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
  // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  // OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  // HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  // LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  // OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 
  // SUCH DAMAGE.
  // 
  
  #include <os.h>
  #include <string.h>
  
  int cputs(char *string) {
    return write(fdout, string, strlen(string));
  }
  
  int getch() {
    unsigned char c;
    int rc;
  
    rc = read(fdin, &c, 1);
    if (rc != 1) return -1;
    if (c == 0x03) raise(SIGINT);
  
    return c;
  }
  
  int putch(int ch) {
    unsigned char c;
    int rc;
  
    c = (unsigned char) ch;
    rc = write(fdout, &c, 1);
    if (rc != 1) return -1;
  
    return ch;
  }
  
  int kbhit() {
    return ioctl(fdin, IOCTL_KBHIT, NULL, 0) > 0;
  }
  