provenance_basic_auto_xy.c:5:[eva:garbled-mix:assigns] warning: The specification of function printf_va_1
has generated a garbled mix of addresses
for assigns clause __fc_stdout->__fc_FILE_data.
provenance_basic_auto_xy.c:7:[kernel] warning: all target addresses were invalid. This path is assumed to be dead.
stack: main