procedure eve_advance set (forward, current_buffer); eve$update_status_lines; endprocedure;