https://github.com/input-output-hk/plutus/commit/75568a1440b0be30aaa014749d99466cea0d1fe6