task_test_io.lean:1:0-1:5: warning: using 'exit' to interrupt Lean