let observe f = f () ~var_count:0