| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 37 |  .. |
| -rw-r--r-- | 873 |  bitset.mod |
| -rw-r--r-- | 905 | bitset2.mod |
| -rw-r--r-- | 989 | bitset3.mod |
| -rw-r--r-- | 914 | charset.mod |
| -rw-r--r-- | 1063 | const.mod |
| -rw-r--r-- | 1114 | prog35.mod |
| -rw-r--r-- | 958 | real.mod |
| drwxr-xr-x | 3 | run |
| -rw-r--r-- | 1122 | string.mod |
| -rw-r--r-- | 929 | type1.mod |
| -rw-r--r-- | 874 | type2.mod |
| -rw-r--r-- | 1026 | type3.mod |
| -rw-r--r-- | 1158 | type4.mod |
| -rw-r--r-- | 1717 | varient.mod |
| -rw-r--r-- | 922 | word.mod |