Work in progress. This patch *fixes* x86-64 calls which are modelled as StructRet...