| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | arith.modal | 173 | log stats plain blame |
| -rw-r--r-- | devices.modal | 77 | log stats plain blame |
| -rw-r--r-- | dynamic_rules.modal | 108 | log stats plain blame |
| -rw-r--r-- | logic.modal | 72 | log stats plain blame |
| -rw-r--r-- | print_and_list.modal | 103 | log stats plain blame |