Use TextFormatter in out_file