litvm_tcg_oracle
