michael@0: function run_test()
michael@0: {
michael@0:   run_test_in_child("../unit/test_bug553888.js");
michael@0: }