|user= code34 |timestamp= 20171104101600 |text= The #line directive get's removed from the output. So to add a custom #line directive before ...