EVM assembly:
  revert(0x00, 0x00)
