with <library>; procedure <name> is use <library>; <declarations> begin <body> exception when <exception case> => <exception_reaction>; end <name>