(*_ This signature deliberately left empty. *)