APPROVED Ian Horrocks This is a different encoding of test 501.