この資料をSMS送信: Amortized rejection sampling in universal probabilistic programming