In my post working with the source code I gave some links to the files I used in the past and will use for my examples here.
Unfortunately I found that one of the links is dead now.
So as a correction of my post: you can find the source-code of the version of MySQL used in this blog here: http://downloads.mysql.com/archives/community/
Select this item:
When you scroll down you'll find this entry:
This is the file I'm working with.
Please excuse the mistake.