is required for the space travelers left behind them. This became clearer after defining NaN-boxing. To avoid such holes, higher privileged level software must execute fence