All of these can be `@trusted`.