# trimmed: safety-relevant lines (should be empty of UAF)
