public static byte[] rgc_buffer_substring( input_port p, int o, int e ) { return c_substring( p.buffer, p.matchstart + o, p.matchstart + e ); }