public static bool rgc_buffer_eof_p( input_port p ) { return ((p.buffer[p.forward] == 0) && (p.forward+1 == p.bufpos)); }