Compilation Verified: Hookup Hotshot