{
  selfdestruct(0xffffffffffffffffffffffffffffffffffffffff)
  invalid()
}
// ----
// Trace:
//   SELFDESTRUCT()
// Memory dump:
//      0: 000000000000000000000000ffffffffffffffffffffffffffffffffffffffff
// Storage dump:
