HOL-ROCK SMEG-THESISER | ZXDB Entry