declarations just like we have from calls to super methods
instead of type pattern
want to abort w/o message, and to always stuff in a stack trace