total 931 drwxr-xr-x 2 kriz esm 512 Jan 16 22:20 . drwxr-xr-x 7 kriz esm 512 Jan 16 22:00 .. -rw-r--r-- 1 kriz esm 0 Jan 16 22:20 List.make_bin -rwxr-xr-x 1 kriz esm 292 Oct 2 1991 atoi.c -rwxr-xr-x 1 kriz esm 24576 Jan 16 22:01 atoi.x -rwxr-xr-x 1 kriz esm 723712 Jan 16 22:01 brown.ascii.start -rw-r--r-- 1 kriz esm 180224 Jan 16 22:02 brown.bin