Return large arguments directly to return is unsound

[andrew-johnson-4]

f := λ(: x X). (: x X);

there is an incompatible memory model at play with cdecl calling convention and large return values trying to return an argument.