| 5.1 | Safe Homogenous Vectors |
| 5.2 | Safe C Vectors |
| 5.3 | Tagged C Pointer Types |
| 5.4 | Defining Bindings |
| 5.5 | Allocation and Finalization |
| 5.6 | Atomic Execution |
| 5.7 | Speculatively Atomic Execution |
| 5.8 | Objective-C FFI |
| 5.9 | File Security-Guard Checks |
| 5.10 | Windows API Helpers |