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

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

forall( type U | { U square( U ); } )
U quad( U u ) {
    return square( square( u ) );
}

int main() {
    int N = 2;
    printf( "result of quad of %d is %d\n", N, quad( N ) );
}

// Local Variables: //
// compile-command: "../../bin/cfa quad.c" //
// End: //