Update and rename test32.in.txt to test32.t