ExecutionData

fun ExecutionData(    annex: ByteVector?,     tapleafHash: ByteVector32?,     validationWeightLeft: Int? = null,     codeSeparatorPos: Long = 4294967295)