Seems to run successfully, correctness uncertain.