HomeIsabelle/Phabricator

Add the name of the entry point to the Fail exception packet.