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.8.1 FFI Types and Constants
5.8.2 Syntactic Forms and Procedures
5.8.3 Raw Runtime Functions
5.8.4 Legacy Library
5.9 File Security-Guard Checks
5.10 Windows API Helpers