call semantics