original_query: What happens if a program is ill-typed?
query: What happens if a program is ill-typed in the context of the described security type system?
answer: An ill-typed program will disclose the value of a secret variable into a public one.