check-model.c