Block expansion
Comment to explain expansion.
Warning for unused defs.