Figure 2c shows the application of SCAETE and security type contracts to the code slice of Figure 1c. Strict contextual
escaping of the template in (9) disallows use of the noAutoescape directive. Simply removing it, however,
would enable the automatic escaping of this value, which is in this case undesired. Instead, we change the aboutHtml
field of the profile object to have SafeHtml type, which is exempt from automatic escaping. The use of this type is threaded through the system (indicated by the color green), across RPCs all the way to the value’s origin in back-end code (12’).