Duncan pointed out that we can fast fail here, because the sret parameter of