Fully trusted code is *fully trusted*