test-convert-tla.t 4 KB