|:: read a line? :@stdio: (10 $x)|
    :@stdio: 10
    :buffer: $x
|:: read a line :@stdio: 10|
|:: read a line?|
  :@stdio: read

|:: print the buffer? :buffer: $x|
    :@stdio: write $x
|:: print the buffer|
    :@stdio: write 10

|:: echo|
    :: read a line
    :: print the buffer

||:: echo