Script to get IxTclHal info