Fourth step in converting to C: ecmult