codex "/goal port this codebase from c++ to rust"