Generate the model along with the concrete in gen_vclock().