In the x86 calling convention, which register holds the 32-bit integer return value of a function call?