"If the user wants to change A.h, one of the files given as an argument to C$Compile, she must produce a new version of A.h with a new UID, and use that new UID in a new version of the model, called lib.v.4, shown in Table A3." . . . .