-/* Memory case stream. */
-
-/* List of cases stored in the stream. */
-extern struct case_list *memory_source_cases;
-extern struct case_list *memory_sink_cases;
-
-/* Current case. */
-extern struct case_list *memory_sink_iter;
-
-/* Maximum number of cases. */
-extern int memory_sink_max_cases;
-