/* See ./header.md for design notes and rationale. */