Function charge_precompile_gas 

pub fn charge_precompile_gas(gas_used: &mut u64, gas: u64)