Some examples on lazy I/O