More than ideas I think, and any safety proposal based on pointer annotations will carry a much higher burden than converting to C++ anyway. Fil-C is more than

More than ideas I think, and any safety proposal based on pointer annotations will carry a much higher burden than converting to C++ anyway. Fil-C is more than just ideas though.