double maximum(const double a[], int a_size)
{
if (a_size == 0) return 0;
double highest = a[0];
int i;
for (i = 0; i < a_size; i++)
if (a[i] > highest)
highest = a[i];
return highest;
}
double maximum(const double* a, int a_size)
{
/* identical code as above yields same results */
. . .
}