17     let stream = file.write_via_stream(5).unwrap();  in main()  localVariable
18     stream.blocking_write_and_flush(b"Hello, ").unwrap();  in main()
19     stream.blocking_write_and_flush(b"World!").unwrap();  in main()
20     drop(stream);  in main()
22     let stream = file.read_via_stream(0).unwrap();  in main()  localVariable
23     let contents = stream.blocking_read(100).unwrap();  in main()
25     drop(stream);  in main()
29     let stream = file.read_via_stream(0).unwrap();  in main()  localVariable
30     let ready = stream.subscribe();  in main()
34         match stream.read(0) {  in main()
40         match stream.read(4) {  in main()
48     drop(stream);  in main()