The `fact` after this one tests structs.