# File test_format.rb, line 383
  def helper_test_seven (body_fmt, file_name)
    File.open(file_name, 
              File::CREAT | File::WRONLY | File::TRUNC) { |file|
      body_fmt.io = file
      blank = ""
      non_blank = "  "
      string = "abcdefghijklmn"
      body_fmt.printFormat(binding)
    }
  end