void raise(int signal)
The raise() action sends the specified signal to the currently running process.