Can be `@trusted`.