void writes(vString s) {
public void writes(vString s) {
void writes(vString s) {    if (outstream == null) {	iRuntime.error(213, this);	// not open for writing    }    try {	outstream.write(s.getBytes());    } catch (IOException e) {	iRuntime.error(214, this);	// I/O error    }}