Improve struct layout verification