| -1665083646 New | | Miscellaneous contracts. | succeeds | 0 |
| -1665083647 New | | Dynamically bound contracts. | succeeds | 0 |
| -1664936527 | | Associate metadata with values. | succeeds | 0 |
| -1665085056 New | | Require private bindings. | succeeds | 0 |
| -1665078095 New | | Miscellanea for Redex. | succeeds | 0 |
| -1665085270 New | | Parameters for extensions in Redex. | succeeds | 0 |
| -1665078204 New | | Miscellaneous stream operations. | succeeds | 0 |
| -1665078208 New | | Helpers for immutably updating structs. | succeeds | 0 |