Hookup - Hotshot Compilation Verified