Preserving a test case, which would brake with pbqp transformer on ARM and postinc...