[Lab05]: Autogeneration.