has{-}value($a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$callbyvalue($a$;$a$.0) $=$ 0