 After compilation, the object code will carry a type annotation that can be checked by an ordinary type checker.The annotation produced here is in many ways similar to the annotations provided by PCC, with some limitations.However, TAL can handle any security policy that may be expressed by the restrictions of the type system, which can include memory safety and control flow, among others.