Removed spurious var_count++ (I guess this field isn't used anymore, or
at least not incremented here).