pub const STEP_LIMIT: u64 = _ /* 16_777_216u64 */;
The most operations and loop turns one invocation may execute: a program that does not end is refused.