foo1.tla foo10.tla foo100.tla foo101.tla foo102.tla etc.