added an uncompleted and experimental specification for Event/Exception handling