To expand on the capabilities thing: https://fil-c.org/invisicaps_by_example
In particular, check out the sections called "Laundering Pointers As Integers" and "Laundering Integers As Pointers".
In particular, check out the sections called "Laundering Pointers As Integers" and "Laundering Integers As Pointers".
> This is because the capability is not stored at any addresses that are accessible to the Fil-C program.
How are they stored? Is the GC running in a different process?