===== qemu_lib.h =====

  #ifndef __QEMU_LIB_H_
  #define __QEMU_LIB_H_

  void copy_vectors(void);
  void print_string(const char *str);
  void uart_send(unsigned int c);
  static void printint(int xx, int base, int sign);
  void swi_code ( unsigned int inst);
  void cprintf(char *fmt, ...);

  #endif