0.0-2411-7 -- Emit shim deterministically (fixes #16)