Reformatted 1.56 example.