bin/tspy uses dsl syntax
tspy uses hash-based storage