C type exists