x86: preliminary work on struct-typed routine returns