function login_user(int $db_id, string $public_id): void {
    session_regenerate_id(true);
    $_SESSION['user_db_id'] = $db_id;
    $_SESSION['user_id']    = $public_id;
}