// PROTOTYPE void dispose()
Stop a thread and release the resources used by the thread. This cannot be used to stop the currently running thread; you should exit the thread function instead.