revise RobustIO