
  PROCEDURE [XREF] dsp$check_if_ve_running;
