[TXT] files.c 12455 2020/07/30 [TXT] font.c 4640 2020/07/30 [TXT] graphics.c 89248 2020/07/30 [TXT] input.c 4898 2020/07/30 [TXT] misc.c 3495 2020/07/30 [TXT] movie.c 5164 2020/07/30 [TXT] sound-mp3.c 40431 2020/07/30 [TXT] texture.c 66054 2020/07/30 [TXT] time.c 1705 2020/07/30 [TXT] userdata.c 78802 2020/07/30