“…For these models, this usually amounts to a program transformation [73], or e.g., a costly matrix inversion [49]. Likewise, for both exact and 179: 42 Huot, Ghavami, Lew, Schaechtle, Freer, Shelby, Rinard, Saad, Mansinghka random variables 𝑥 𝑛 converges to 𝑥, then for every continuous function 𝑓 , 𝑓 (𝑥 𝑛 ) converges to 𝑓 (𝑥).…”