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