Zero-cost abstractions are a claim. Ask for the assembly.