Specify to ensure efficient code generation for the target hardware
Specify to ensure correct code generation for the target hardware



engine