#include <stdio.h>

int f( i, d )
  int i;
  double d;
{
    printf( "%d : %lf", i, d );
}


int main(void) {

    f( 42, 100.500 );

	return 0;
}