Added annotations @Trusted and @Untrusted for generic untrustedness