michael@0: michael@0: michael@0: michael@0: michael@0: Test for bugs 720180, 800510 and 865288 michael@0: michael@0: michael@0: michael@0: michael@0: michael@0:

Hello world!

michael@0: michael@0: michael@0: