I still don't get what the meaning of the handler field is. Is this expressing what must be done after the return (before you go to the cont label)? Thus DontCare means it doesn't matter because the code at cont will set it to something. And Some would mean that it must be set to the value carried in that case. In that case what does None mean?