The irony of his code name occurred to him.

• 他想起了他的代码的讽刺意义。