Sketch of initial-server-state and realms.