//
// !!! THIS IS STILL A CONCEPT/PROTOTYPE. USE AT YOUR OWN RISK !!!
//
// Author:      Michal Idziorek <m.i@gmx.at>
//
// Last Update: 16th March 2018
//
// Last Tested: with surf commit 81f0452bc6c2a110239fa303ad1e72f11c33dc94
//              from htps://git.suckless.org/surf
//
// The following simple Webkit2GTK+ extension was hacked together
// in the sleepless night between 09th and 10th March 2018 (and later 
// refined).
//
// The DOM is manipulated,i.e: a <span> with a number added to every 
// link encountered.
// 
// Named FIFO pipes are used for communication with the ui process.
//
void piper_init(char *pipe_in,char *pipe_out,void (*callback_func)(char *msg),char *url);
void piper_send(char *msg);