generation of varUpdate, not tested