This struct data type should not be initialized. This causes an error when running with Moore (checking).