CTF type typedef
Changed the properties to use the typedef