public static symbol rgc_buffer_downcase_symbol( input_port p )
{
int start= p.matchstart;
int stop= p.matchstop;
int n= stop - start;
byte[] name= new byte[n];
for ( int i= 0 ; i < n ; ++i, ++start )
name[i]= (byte)tolower( p.buffer[start] & 0xFF );
return symbol.make_symbol( name );
}