more sophisticated size mapping, and defeat nested constructs
(innermost size is the one that will take effect)