/* Dummy io.h header. */