(manual-box visibility v-state)
(auto-box visibility (not v-state))
(auto-passwd changed)))
(auto-passwd changed)
(if (auto-box visibility) (generate))))
(define (small x)