(* Copyright (C) 2008-2025 Free Software Foundation, Inc. *)
