
  PROCEDURE [XREF] dsp$check_interval;
