The state record declaration is a good example of a record declaration you should make inside of a module and not declare through an included file. It's easier to see what "State" should contain if the information is right there.