Can now define secure versions of both READ-FROM-STRING and READ