thot compilation