refined IOHandler interface