You recently imported a message from Z3_PASCAL into another
echo and it came up as insecure because you left the origin
line in there.  Please delete the origin line (and tear line)
on imported messages.  BFN.  Paul.
@EOT:

---