Notes on asynchronous exceptions