skall inrymma bostad för konungen samt lokaler för riksdagen och högsta domstolen.