Let IOB_RESET() take the iob to reset as argument