add semantics for `call`