pub const ACCOUNT_WRITE: u64 = 9_000; // 9_000u64
Surcharge for writing to an account that changes one account leaf value for the first time (was 6,700 pre-EIP-8038).