user_id = $user_id; } public function get_user_id(): int { return $this->user_id; } }