he file
    <TT>/tmp/message.txt</TT>, where it should not cause any harm.
  </P>

  <P>
    What if our policy was violated not during a call, but during evaluation
    of the component itself? For example, consider the following variation:
  </P>
  <PRE class=code>
    val component =
        comp
            import structure TextIO : TEXT_IO from "x-alice:/lib/system/TextIO"
        in
            val run : unit -> string
        with
            val file = TextIO.openOut "/message.txt"
            do Te