(*_ This signature is deliberately empty. *)