Use message-passing to implement throwTo in the RTS