// './cfa square.c'

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 ) );
}