pub fn checked_mul<T>(arg1: T, arg2: T) -> Result<T, ProgramError> where
    T: PrimInt + Display