Isn't `void 0` the best way to get the original `undefined` back?