No one does any porting by hand anymore. Without LLMs this port would never have happened.