//PORT_IO.h
#include <stdio.h>

void print_open(unsigned int x) { printf("Opened port %u\n", x); }
void print_close(unsigned int x) { printf("Closed port %u\n", x); }
void print_connect(unsigned int x) { printf("Connected port %u\n", x); }