ide-tape: make __idetape_discard_read_pipeline() of type void