bin/ALE
bin/synthReadGen
