public static keyword rgc_buffer_upcase_keyword( input_port p )
{
int start = p.matchstart;
int stop = p.matchstop;
int n = stop - start - 1;
byte[] name = new byte[n];
if( p.buffer[start] == ':' ) start++;
for ( int i = 0 ; i < n ; ++i, ++start )
name[i] = (byte)toupper( p.buffer[start] & 0xFF );
return keyword.make_keyword( name );
}