M10: a Copy struct keeps its layout (a bitwise copy would share the extension block): restart rung by design