The user should be able to indicate errors by using annotations. un handled exceptions should produce error annotations.