Hookup Hotshot Compilation Verified [PC]