s/4/5
Fix a4-test24, which was translated incorrectly