void* getColor(Car *c) {
    return c->color;
}

// return the serial number of a car
void* getSerialNumber(Car *c) {
    return c->prolemList;
}