Indeed, which is not all that different from LLM code generation, to be honest.