furnace/src/check/check_sysIO.c

#include <sys/io.h>

int main(int, char**) {
  inb(0x61);
  outb(0x00,0x61);
}