20070530-7

See attached file for an example

Attach:Bug.agda