Hookup Hotshot Compilation Verified ((link)) -