Warnings are displayed twice
Example: Executing:
int i = 42/0
Displays:
input_line_27:2:12: warning: division by zero is undefined [-Wdivision-by-zero]
int i = 42/0;
^~
input_line_27:2:12: warning: division by zero is undefined [-Wdivision-by-zero]
int i = 42/0;
^~
The problem is that the warning is sometimes displayed on both the python and libc sides. Normally, you should compare the 2 outputs (python and wurtlitzer) and display only one if they are identical.