def ReadFile(input_filename):
  """Helper function that returns input_filename as a string.
  
  Args:
    input_filename: name of file to be read
  
  Returns:
    string
  """
  f = open(input_filename, 'rb')
  file_contents = f.read()
  f.close()
  return file_contents