List.make_bin

total 1043
drwxr-xr-x  2 kriz     esm           512 Feb 12 12:25 .
drwxr-xr-x  7 kriz     esm           512 Jan 30 20:29 ..
-rw-r--r--  1 kriz     esm             0 Feb 12 12:25 List.make_bin
-rwxr-xr-x  1 kriz     esm           292 Oct  2  1991 atoi.c
-rwxr-xr-x  1 kriz     esm         24576 Jan 30 20:30 atoi.x
-rw-rw-rw-  1 kriz     esm       1028518 Jan 30 17:59 fan.64_ascii