define-app; symbol-hash-table