Hookup: Hotshot Compilation Verified