public static int RGC_SET_FILEPOS( input_port p ) { return (p.filepos+= (p.matchstop - p.matchstart)); }