revmc_builtins::gas

Constant JUMPDEST

pub const JUMPDEST: u64 = 1; // 1u64