char capital ( char c );

void capital_string ( char s[] )
{
  int i;

  i = 0;
  while ( s[i] != '\0' )
  {
    s[i] = capital ( s[i] );
    i = i + 1;
  }
  return;
}