So, the same as before. ADA/Spark and that subset of secure C were already made into libre standards for security and correctness in dangerous env with high con

So, the same as before. ADA/Spark and that subset of secure C were already made into libre standards for security and correctness in dangerous env with high constraints.