If robustness is achieved by abstracting away machine-specific constants, as in Cook-Karp reductions...