Add a container type to the argument types. This should allow code to return a small tuple directly in registers.