C returns the structs packed into %eax but our code appears to load the fields from %al and %dl for byte fields. See run-pass/extern-return-TwoU8s and run-pass/extern-return-TwoU16s.