PROCEDURE quit_benchmark_environment (status)

  EXIT enter_benchmark_environment

PROCEND quit_benchmark_environment
