<human>:  download a file over HTTP
<bot>:' % (file_size_dl, ((file_size_dl * 100.0) / file_size)))
  status = (status + (chr(8) * (len(status) + 1)))
  print(status, end=' ')
f.close()

#Warning: this code generation is experimental. Please inspect the code for any bugs before executing.