Changing taint semantics in capability leak example.