Much improved disassembly for %hook output