function sc_read(port) {
    if (port === undefined) // we assume the port hasn't been given.
	port = SC_DEFAULT_IN; // THREAD: shared var...
    var reader = new sc_Reader(new sc_Tokenizer(port));
    return reader.read();
}
function sc_read(port) {
    if (port === undefined) 
	port = SC_DEFAULT_IN; 
    var reader = new sc_Reader(new sc_Tokenizer(port));
    return reader.read();
}
function sc_read ( port ) { if ( port === undefined ) // we assume the port hasn't been given. port = SC_DEFAULT_IN ; // THREAD: shared var... var reader = new sc_Reader ( new sc_Tokenizer ( port ) ) ; return reader . read ( ) ; }
* META ((export #t))
* META (( export #t ))