test-convert-tla.t #1