Added two annotations, @sensitive and @untrusted