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).