i figured if we'd used `void 0` elsewhere, then there was concern about environments in which undefined can be redefined.