On: The need for memory safety standards

[pizlonator]

No GC pauses. Fil-C uses a concurrent GC.

For CHERI to be fully safe, it basically needs a GC. They just call it something else. They need it to clean up capabilities to things that were freed, which is the same thing that Fil-C uses GC for.