function run_test() {
  // This test expects to fail.
  do_check_true(false);
}