// './cfa square.c'

#undef __cplusplus
extern "C" {
#include <stdio.h>
}

forall( type T | { T ?*?( T, T ); })
T
square( T t )
{
  return t * t;
}

int
main()
{
  printf( "result of square of 5 is %d\n", square( 5 ) );
  return 0;
}