Cancellation requires dispatcher. If the 'mirai' is awaiting execution, it
is discarded from the queue and never evaluated. If already executing, an
interrupt is sent.
A cancellation request does not guarantee the task stops: it may have already
completed before the interrupt is received, and compiled code is not always
interruptible. Take care if the code performs side effects such as writing to
files.