Function checked_mul 

pub fn checked_mul(a: u64, b: u64) -> Result<u64, ProgramError>

Checked u64 multiplication: returns ArithmeticOverflow on overflow.