Much of the code was generated by OpenAI Codex