function run_test() {
  run_test_in_child("test_bug930456.js");
}