no escapes in counter example