Improves t168.

Adds excpetion handler and separate declaration.
Type-checking of block arguments seems not to happen.