do_exit          1370 ffplay.c               do_exit(is);
do_exit          1758 ffplay.c               do_exit(is);
do_exit          3400 ffplay.c                       do_exit(cur_stream);
do_exit          3406 ffplay.c                       do_exit(cur_stream);
do_exit          3505 ffplay.c                       do_exit(cur_stream);
do_exit          3551 ffplay.c                           do_exit(cur_stream);
do_exit          3559 ffplay.c                   do_exit(cur_stream);
do_exit          3847 ffplay.c               do_exit(NULL);
do_exit          3856 ffplay.c               do_exit(NULL);