procedure eve_backup set (reverse, current_buffer); eve$update_status_lines; endprocedure;