let gentemp_read (e, f) t : temp_id * il0 = let i = new_tempid () in i, make_il0 (IL0stmtReadToTemp(i, t, e, f))