// elements omitted for brevity