Records:
simple:  5 7 7 5
with:  5 7 42 7 5 16
record field punning:  1 2
inline records:  1 2 3