Constant CALL_VALUE 

pub const CALL_VALUE: u64 = _ /* 11_300u64 */;

CALL value transfer cost: ACCOUNT_WRITE + CALL_STIPEND per the EIP.