Code generated by OpenAI Codex