public static bool rgc_fill_buffer( input_port p ) { --p.forward; if (p.eof) return false; return p.rgc_fill_buffer(); }