I would use $read(...,ns,...) to avoid possible future problems with identifiers being present in the file.