Top-level-defs changes.