Yes, Fil-C delivers almost all of its safety guarantees at runtime, because from a security standpoint, that's good enough.