Hookup Hotshot Compilation Verified Guide