void b_main_sink(double * * data_ptr);void _main(){double * data;b_main_sink(&data);}void b_main_sink(double * * data_ptr){double * data=*data_ptr;printDoubleLine(*data);}
static void main(){double * data;data=(double *)malloc(sizeof(double));b_main_sink(&data);}void b_main_sink(double * * data_ptr){double * data=*data_ptr;printDoubleLine(*data);}