idris-1.3.3: test/io003/expected.out
Sending Hello! Received Hello to you too! Finished Sending Hello! Received Hello to you too! Finished Sending Hello! Received Hello to you too! Finished
Sending Hello! Received Hello to you too! Finished Sending Hello! Received Hello to you too! Finished Sending Hello! Received Hello to you too! Finished