ffetype ffetype_new (void)
ffetype_new (void)
ffetype ffetype_new (void){  ffetype type;  type = (ffetype) malloc_new_kp (malloc_pool_image (), "ffetype",				    sizeof (*type));  type->kinds_ = NULL;  type->stars_ = NULL;  type->alignment_ = 0;  type->modulo_ = 0;  type->size_ = 0;  return type;}