exception handling, shielded format