michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: This should not crash Mozilla michael@0: