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