Initial model and generated code