Invocations now include return values