pointer-set-check update-var!