#27: do_rcfile()을 main()과 합침. 아직 끝이 아니다!