
  FUNCTION [XREF] osp$terminate_requested: boolean;

