An argument and a local identified object (eg. a noalias call) could turn out