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