#include "fstream.h"

forall( type T | { T ?+?( T, T ); T ?++( T * ); [T] ?+=?( T *, T ); } )
T twice( const T t ) {
    return t + t;
}

int main() {
    ofstream *sout = ofstream_stdout();
    sout << twice( 1 ) << ' ' << twice( 3.2 ) << '\n';
}

// Local Variables: //
// compile-command: "../../bin/cfa twice.c fstream.o iostream.o" //
// End: //
