| Mode | Name | Size | |
|---|---|---|---|
| d--------- | 01-struct | 106 | logplain |
| d--------- | 02-struct-singleton | 106 | logplain |
| d--------- | 03-struct-generic | 73 | logplain |
| d--------- | 04-sum | 106 | logplain |
| d--------- | 05-box | 106 | logplain |
| d--------- | 06-inductive-data-types | 106 | logplain |
| d--------- | 07-inductive-data-types-separate-namespaces | 106 | logplain |
| d--------- | 08-enum | 106 | logplain |
| d--------- | 09-list | 106 | logplain |
| d--------- | 10-native-type | 106 | logplain |
| d--------- | 11-native-type-custom-config | 106 | logplain |
| d--------- | 12-native-type-generic | 106 | logplain |
| d--------- | 13-shared | 106 | logplain |
| d--------- | 14-custom-code | 106 | logplain |
| d--------- | 15-imports | 106 | logplain |
| d--------- | 16-transient-0 | 106 | logplain |
| -rwxr-xr-x | renumber.py | 1436 | logplain |
| d--------- | templates / java-junit | 37 | logplain |
