text: abstract: in this paper, we present two new forms of the write statement:
  one of the form write(x); g where g is a statement and the other of the form
  write(x); d where d is a module. the former is a generalization of traditional
  write statement and is quite useful. the latter is useful for implementing
  interactive modules.