
  FUNCTION [XREF, UNSAFE] clp$execution_fault_handler_est: boolean;

