public write(value as String) as Void throws IOException: