<assertions>
  <assertion id="1" tag="ref:XSH6:42137:42138">
    Default handling for that signal shall occur, if the value of func is SIG_DFL.
  </assertion>
  <assertion id="2" tag="ref:XSH6:42138:42138">
    The signal shall be ingnored if the value of func is SIG_IGN.
  </assertion>
  <assertion id="3" tag="ref:XSH6:42142:42148">
    When a signal occurs, and func points to a function, the equivalent of:  (*func)(sig);
    is executed.
  </assertion>
  <assertion id="4" tag="ref:XSH6:42150:42153">
    If and when the signal handler returns, the program shall resume execution at the
    point it was interrupted.
  </assertion>
  <assertion id="5" tag="ref:XSH6:42166:42167">
    If the handler is called, signal() shall return the value of
    func of the last call to signal() that pertains to the
    specified signal sig.
  </assertion>
  <assertion id="6" tag="ref:XSH6:42170:42172 pt:CX">
    The signal( ) function shall return SIG_ERR, and set errno to EINVAL if the sig argument
    passed to signal() is not a valid signal number
  </assertion>
  <assertion id="7" tag="ref:XSH6:42170:42172 pt:CX">
    if an attempt is made to catch a
    signal that cannot be caught or ignore a signal that cannot be ignored.
  </assertion>
</assertions>
