type correctInteger = integer attribute (size = 42);