void ffetype_set_star (ffetype base_type, int star, ffetype type)
ffetype_set_star (ffetype base_type, int star, ffetype type)
void ffetype_set_star (ffetype base_type, int star, ffetype type){  if (base_type->stars_ == NULL)    {      int i;      base_type->stars_	= (ffetype_indexes_) malloc_new_kp (malloc_pool_image (),					    "ffetype_indexes_[stars]",					    sizeof (*(base_type->stars_)));      for (i = 0; ((size_t) i) < ARRAY_SIZE (base_type->stars_->type_); ++i)	base_type->stars_->type_[i] = NULL;    }  assert (base_type->stars_->type_[star] == NULL);  base_type->stars_->type_[star] = type;}