Added return restrictions for x86