The `shared` here has no actual effect.