¹Without the .call qualifier, inlined function instances are also probed, but they have no corresponding .return.