extern "C" {
    int printf( const char *, ... );
}

forall( type T )
void swap( T left, T right ) {
    T temp = left;
    left = right;
    right = temp;
}

int main() {
    int x = 1, y = 2;
    printf( "%d %d", x, y );
    swap( x, y );
    printf( "%d %d", x, y );
}

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